diff options
| -rw-r--r-- | toplevel/toplevel.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/toplevel.ml b/toplevel/toplevel.ml index da3049141b..bc50eb43de 100644 --- a/toplevel/toplevel.ml +++ b/toplevel/toplevel.ml @@ -308,7 +308,7 @@ let do_vernac () = resynch_buffer top_buffer; try Vernac.eval_expr (read_sentence ()); - if not !Flags.print_emacs then Stm.finish () + Stm.finish () with | End_of_input | Errors.Quit -> msgerrnl (mt ()); pp_flush(); raise Errors.Quit |