diff options
| -rw-r--r-- | toplevel/toplevel.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/toplevel/toplevel.ml b/toplevel/toplevel.ml index 35dde0bcf6..ca5e27e11e 100644 --- a/toplevel/toplevel.ml +++ b/toplevel/toplevel.ml @@ -292,7 +292,9 @@ let rec coq_switch b = protected_loop stdin with | Vernacinterp.Drop -> () - | Vernacinterp.ProtectedLoop -> coq_switch false + | Vernacinterp.ProtectedLoop -> + Lib.declare_initial_state(); + coq_switch false | End_of_input -> mSGERRNL [<>]; pp_flush(); exit 0 | Vernacinterp.Quit -> exit 0 | e -> |