diff options
| -rw-r--r-- | toplevel/coqtop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 6d7293704d..b97042ede8 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -383,8 +383,8 @@ let init arglist = init_library_roots (); load_vernac_obj (); require (); - load_rcfile(); Stm.init (); + load_rcfile(); load_vernacular (); compile_files (); outputstate () |