diff options
| -rw-r--r-- | toplevel/vernac.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/toplevel/vernac.ml b/toplevel/vernac.ml index b3bdeae82e..41574a726a 100644 --- a/toplevel/vernac.ml +++ b/toplevel/vernac.ml @@ -186,8 +186,6 @@ let compile verbosely f = load_vernac verbosely longf; let mid = Lib.end_module m in assert (mid = ldir); - Library.save_module_to ldir (f^".vo") + Library.save_module_to ldir (longf^"o") with e -> raise_with_file f e - - |