Reduce verbosity

mtzguido · Feb 7, 2025 · 9dd08ac · 9dd08ac
1 parent ddeccf5
commit 9dd08ac
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/fstar/FStarC.Main.fst b/src/fstar/FStarC.Main.fst
@@ -95,9 +95,8 @@ let load_native_tactics () =
                 | Some f -> f
               end
     in
+
     let cmxs_files = (modules_to_load@cmxs_to_load) |> List.map cmxs_file in
-    if Debug.any () then
-      Util.print1 "Will try to load cmxs files: [%s]\n" (String.concat ", " cmxs_files);
     Plugins.load_plugins cmxs_files;
     iter_opt (Options.use_native_tactics ())
       Plugins.load_plugins_dir;