Merge pull request #1020 from coq/parse_vos

Load vos files
coq · Jan 30, 2025 · 0f85c9f · 0f85c9f
2 parents 3072bd9 + 78a03b8
commit 0f85c9f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/language-server/vscoqtop/vscoqtop.ml b/language-server/vscoqtop/vscoqtop.ml
@@ -45,6 +45,7 @@ let _ =
   let opts = Args.get_local_args  cwd in
   let _injections = Coqinit.init_runtime opts in
   Safe_typing.allow_delayed_constants := true; (* Needed to delegate or skip proofs *)
+  Flags.load_vos_libraries := true;
   Sys.(set_signal sigint Signal_ignore);
   loop ()
 [%%else]
@@ -56,6 +57,7 @@ let () =
   let opts = Args.get_local_args cwd in
   let () = Coqinit.init_runtime ~usage:(Args.usage ()) opts in
   Safe_typing.allow_delayed_constants := true; (* Needed to delegate or skip proofs *)
+  Flags.load_vos_libraries := true;
   Sys.(set_signal sigint Signal_ignore);
   loop ()
 [%%endif]