diff options
Diffstat (limited to 'toplevel/vernac.ml')
| -rw-r--r-- | toplevel/vernac.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/vernac.ml b/toplevel/vernac.ml index 789f6bebb..d9c23c0ad 100644 --- a/toplevel/vernac.ml +++ b/toplevel/vernac.ml @@ -371,3 +371,4 @@ let compile verbosely f = check_pending_proofs (); let todo = Stm.dump () in Library.save_library_to ~todo ldir long_f_dot_v + |