"Warnings" and "Debug" options are synterp not interp

SkySkimmer · Jan 2, 2025 · c5fed9e · c5fed9e
1 parent 7c3baa6
commit c5fed9e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/vernac/vernacentries.ml b/vernac/vernacentries.ml
@@ -1967,15 +1967,15 @@ let () =
     CWarnings.normalize_flags_string flags
   in
   declare_string_option ~preprocess
-    { optstage = Summary.Stage.Interp;
+    { optstage = Summary.Stage.Synterp;
       optdepr  = None;
       optkey   = ["Warnings"];
       optread  = CWarnings.get_flags;
       optwrite = CWarnings.set_flags }
 
 let () =
   declare_string_option
-    { optstage = Summary.Stage.Interp;
+    { optstage = Summary.Stage.Synterp;
       optdepr  = None;
       optkey   = ["Debug"];
       optread  = CDebug.get_flags;