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