--print-version needs no init

Signed-off-by: Enrico Tassi <Enrico.Tassi@Inria.fr>
ocaml · Jun 10, 2024 · 5c2e541 · 5c2e541
1 parent 6135898
commit 5c2e541
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/dune_rules/coq/coq_config.ml b/src/dune_rules/coq/coq_config.ml
@@ -154,7 +154,7 @@ module Version = struct
          Return
          bin
          (* we pass -boot since this means it will work with just coq-core *)
-         [ "--print-version"; "-boot" ]
+         [ "--print-version"; "-boot"; "-noinit" ]
   ;;
 
   let version_memo = Memo.create "coq-and-ocaml-version" ~input:(module Path) impl_version