1 files changed, 4 insertions, 0 deletions
diff --git a/stm/stm.mli b/stm/stm.mli
index 821ab59a43..313ac58111 100644
--- a/stm/stm.mli
+++ b/stm/stm.mli
@@ -67,6 +67,10 @@ type stm_init_options = {
      some point. *)
   doc_type     : stm_doc_type;
 
+  (* Allow compiling modules in the Coq prefix. Irrelevant in
+     interactive mode. *)
+  allow_coq_overwrite : bool;
+
   (* Initial load path in scope for the document. Usually extracted
      from -R options / _CoqProject *)
   iload_path   : Mltop.coq_path list;