From f99d0db65bcf7e7a26729a6242f8d3d85fe75e79 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Aug 2001 14:59:22 +0000
Subject: Found another instance of buffer-syntactic-context

---
 generic/proof-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index a4d5c71b..4da2b5a2 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -100,7 +100,7 @@ nil if a region cannot be found."
 (defun proof-looking-at-syntactic-context ()
   "Determine if current point is at beginning or within comment/string context."
   (or
-   (buffer-syntactic-context)
+   (proof-buffer-syntactic-context)
    (proof-looking-at-safe proof-comment-start-regexp)
    (proof-looking-at-safe proof-string-start-regexp)))
 
-- 
cgit v1.2.3