diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index d75a996ef7..eb410b1e32 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -423,7 +423,7 @@ let record_interp cmd_stk start_of_sentence end_of_sentence (sn,pp,psd) = } cmd_stk let backtrack cmd_stack stop_cond = - if Stack.is_empty cmd_stack then + if Stack.is_empty cmd_stack then reset_initial () (* reset coq *) else try let current = Stack.top cmd_stack in |