Fix bug

1 files changed, 1 insertions, 1 deletions

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."