From 71e160c2934e0120c00cdfaad440099a3138b16f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 10 Aug 2001 12:56:15 +0000 Subject: Change buffer-syntactic-context -> proof-buffer-syntactic-context --- isar/isar.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'isar') 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))))) -- cgit v1.2.3