diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar.el b/isar/isar.el index 429a8eb1..e4e2412d 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -35,7 +35,7 @@ ;;; variable: proof-analyse-using-stack ;;; proof-locked-region-empty-p, proof-shell-insert, pbp-mode, -;;; proof-mark-buffer-atomic, proof-shell-invisible-command, +;;; proof-complete-buffer-atomic, proof-shell-invisible-command, ;;; prev-span, span-property, next-span, proof-unprocessed-begin, ;;; proof-config-done, proof-shell-config-done @@ -326,7 +326,7 @@ proof-shell-retract-files-regexp." ;; form of file-truename. (and (member (file-truename buffer-file-truename) proof-included-files-list) - (proof-mark-buffer-atomic (current-buffer))) + (proof-complete-buffer-atomic (current-buffer))) ) (t ;; Proof mode does that automatically. |