From 872f4b3429211fcd285162143797e2b3c2de4dee Mon Sep 17 00:00:00 2001 From: nk_ysg Date: Mon, 27 Jan 2025 14:26:49 +0800 Subject: [PATCH] use clone_from --- vm/stdlib/src/lib.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/vm/stdlib/src/lib.rs b/vm/stdlib/src/lib.rs index f197df62c2..0c2f4cc2e2 100644 --- a/vm/stdlib/src/lib.rs +++ b/vm/stdlib/src/lib.rs @@ -226,8 +226,9 @@ fn build_error_code_map(output_path: &str, sources: &[String], dep_path: &str) { options.verbosity_level = LevelFilter::Warn; options.run_errmapgen = true; options.errmapgen.output_file = output_path.to_string(); - options.known_attributes = - starcoin_framework::extended_checks::get_all_attribute_names().clone(); + options + .known_attributes + .clone_from(starcoin_framework::extended_checks::get_all_attribute_names()); //options.setup_logging_for_test(); move_prover::run_move_prover_errors_to_stderr(options).unwrap(); }