diff options
| -rw-r--r-- | toplevel/vernac.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/vernac.ml b/toplevel/vernac.ml index beb9cd9cc6..84acc9bfa3 100644 --- a/toplevel/vernac.ml +++ b/toplevel/vernac.ml @@ -429,5 +429,5 @@ let compile verbosely f = if not (List.is_empty pfs) then (pperrnl (str "Error: There are pending proofs"); flush_all (); exit 1); if !Flags.xml_export then !xml_end_library (); - Dumpglob.end_dump_glob (); - Library.save_library_to ldir (long_f_dot_v ^ "o") + Library.save_library_to ldir (long_f_dot_v ^ "o"); + Dumpglob.end_dump_glob () |