diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-08-10 12:56:15 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-08-10 12:56:15 +0000 |
commit | 71e160c2934e0120c00cdfaad440099a3138b16f (patch) | |
tree | 0c16f3ca81953256ebf17ce7f5d4da8b7e0dad7f /isar | |
parent | a825ef971fedfd36d83538b368f1104171200ca5 (diff) |
Change buffer-syntactic-context -> proof-buffer-syntactic-context
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 0047446e..d1a27bec 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -91,7 +91,7 @@ (save-excursion (goto-char (point-min)) (while (search-forward ";" (point-max) t) - (if (not (buffer-syntactic-context)) + (if (not (proof-buffer-syntactic-context)) (delete-backward-char 1))))) |