diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2006-08-25 18:19:17 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2006-08-25 18:19:17 +0000 |
| commit | 1a3b2c68197b7b2bd5144ec7bfa86108fa1e9e1c (patch) | |
| tree | 95045288ce0db7a80a3633066f6c5deae7eed3ab /coq/coq.el | |
| parent | ac2ed5ec6a3fee36abd1ca0aca2f049c1ce0fb01 (diff) | |
Small fixes on syntax tables.
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -448,7 +448,7 @@ If locked span already has a state number, thne do nothing. Also updates (defun coq-find-and-forget-v81 (span) "Backtrack to SPAN. Using the \"Backtrack n m p\" coq command." - (let* (str ans (naborts 0) (nundos 0) + (let* (ans (naborts 0) (nundos 0) (proofdepth (coq-get-span-proofnum span)) (proofstack (coq-get-span-proofstack span)) (span-staten (coq-get-span-statenum span)) |