diff options
| author | gareuselesinge | 2013-09-13 16:06:52 +0000 |
|---|---|---|
| committer | gareuselesinge | 2013-09-13 16:06:52 +0000 |
| commit | aeec3d3fa3c5014cbec45f3eefc0889cd1793a62 (patch) | |
| tree | d90d4b631d06bfde2d5b9479dc8fd1b1d2d4a2a8 | |
| parent | 4918be7d31c680527dff6cc0b9925a74257e0789 (diff) | |
When Coq is reset-initialed by CoqIDE, do reset jobs counters
Coq is not going to send any feedback message for the
brute-force canceled jobs, given that the process was killed.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16780 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | ide/coqOps.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ide/coqOps.ml b/ide/coqOps.ml index 4ce5529283..081cf62d40 100644 --- a/ide/coqOps.ml +++ b/ide/coqOps.ml @@ -578,6 +578,8 @@ object(self) messages#clear; proof#clear (); clear_info (); + processed <- 0; + to_process <- 0; push_info "Restarted"; (* apply the initial commands to coq *) in |