From 6f9b41f8d8ea39a6ee962a12d9e3cbbee5adbb1d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 13:58:44 +0000
Subject: Fix bug

---
 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 c3a76f70..fd6a746f 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -65,7 +65,7 @@ nil if a region cannot be found."
   (cond ((stringp regexp-or-fn)
 	 (proof-string-match regexp-or-fn string))
 	((functionp regexp-or-fn)
-	 (regexp-or-fn string))))
+	 (funcall regexp-or-fn string))))
 
 (defun proof-looking-at (regexp)
   "Like looking-at, but set case-fold-search to proof-case-fold-search."
-- 
cgit v1.2.3