diff options
| -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 |