feat: load vos files

We add the flag allowing the server to use vos files.
coq · Jan 30, 2025 · 78a03b8 · 78a03b8
1 parent 3072bd9
commit 78a03b8
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]