diff options
| author | ppedrot | 2013-08-09 22:05:04 +0000 |
|---|---|---|
| committer | ppedrot | 2013-08-09 22:05:04 +0000 |
| commit | 70736feb562c19b2892dbd5bdc6727bd731bcab6 (patch) | |
| tree | 46cdc4329c014a95da91afc4bae86f097b3cbe6e /ide | |
| parent | fe727711d9d48b97505179c611d45cbbec6545ab (diff) | |
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
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqOps.ml | 4 |
1 files changed, 3 insertions, 1 deletions
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 |