From 70736feb562c19b2892dbd5bdc6727bd731bcab6 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 9 Aug 2013 22:05:04 +0000
Subject: Adding the processed tag to comments in CoqIDE.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16693 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqOps.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index 4105bd82ac..66e932608a 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -342,7 +342,9 @@ object(self)
         add_flag sentence `PROCESSING;
         Searchstack.push sentence cmd_stack;
         if List.mem `COMMENT sentence.flags then
-          (self#commit_queue_transaction sentence; loop ())
+          let () = remove_flag sentence `PROCESSING in
+          let () = self#commit_queue_transaction sentence in
+          loop ()
         else
           (* If the line is not a comment, we interpret it. *)
           let _, _, phrase = self#get_sentence sentence in
-- 
cgit v1.2.3