From 1f4a8889f4bc4c2201080004db6371950b4ea36d Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 7 Sep 2016 15:07:09 +0200
Subject: CoqIDE: Errors are sticky (fix #4368)

---
 ide/coqOps.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index 741a1d6e2a..52f935bf66 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -447,7 +447,6 @@ object(self)
       | Processed, Some (id,sentence) ->
           log "Processed" id;
           remove_flag sentence `PROCESSING;
-          remove_flag sentence `ERROR;
           self#mark_as_needed sentence
       | ProcessingIn _,  Some (id,sentence) ->
           log "ProcessingIn" id;
-- 
cgit v1.2.3