CoqIDE: show error message for parsing errors

1 files changed, 1 insertions, 1 deletions

diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index 57f6b04d46..8b8f0791d9 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -402,7 +402,7 @@ object(self)
     buffer#remove_tag Tags.Script.to_process ~start ~stop;
     self#discard_command_queue queue;
     pop_info ();
-    if Stateid.equal id tip then begin
+    if Stateid.equal id tip || Stateid.equal id Stateid.dummy then begin
       self#position_error_tag_at_iter start phrase loc;
       buffer#place_cursor ~where:stop;
       messages#clear;