2 files changed, 6 insertions, 0 deletions
diff --git a/lib/flags.ml b/lib/flags.ml
index 7676665fe9..90b5f877d5 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -44,6 +44,8 @@ let with_options ol f x =
 let async_proofs_worker_id = ref "master"
 let async_proofs_is_worker () = !async_proofs_worker_id <> "master"
 
+let load_vos_libraries = ref false
+
 let debug = ref false
 
 let in_debugger = ref false
diff --git a/lib/flags.mli b/lib/flags.mli
index 3f72cc4b91..76a78e61fc 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -35,6 +35,10 @@
 val async_proofs_worker_id : string ref
 val async_proofs_is_worker : unit -> bool
 
+(** Flag to indicate that .vos files should be loaded for dependencies
+    instead of .vo files. Used by -vos and -vok options. *)
+val load_vos_libraries : bool ref
+
 (** Debug flags *)
 val debug : bool ref
 val in_debugger : bool ref