diff options
| -rw-r--r-- | toplevel/coqtop.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 4968804fde..aca94e63d2 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -92,11 +92,11 @@ let console_toploop_run () = Dumpglob.noglob () end; Coqloop.loop(); - (* We remove the feeder but it could be ok not to do so *) - Feedback.del_feeder tl_feed; (* Initialise and launch the Ocaml toplevel *) Coqinit.init_ocaml_path(); - Mltop.ocaml_toploop() + Mltop.ocaml_toploop(); + (* We let the feeder in place for users of Drop *) + Feedback.del_feeder tl_feed let toploop_run = ref console_toploop_run |