From ca4c1a91f089988737d3f57f5378eedea1627ba1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 13 Aug 2002 18:55:30 +0000
Subject: proof-string-match-safe is even more safe

---
 generic/proof-syntax.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-syntax.el')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 9814ca49..02bf6aca 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -76,8 +76,8 @@ nil if a region cannot be found."
     (string-match regexp string start)))
 
 (defun proof-string-match-safe (regexp string &optional start)
-  "Like proof-string-match, but return nil if REGEXP is nil."
-  (if regexp (proof-string-match regexp string start)))
+  "Like proof-string-match, but return nil if REGEXP or STRING is nil."
+  (if (and regexp string) (proof-string-match regexp string start)))
 
 (defun proof-stringfn-match (regexp-or-fn string)
   "Like proof-string-match if first arg is regexp, otherwise call it."
-- 
cgit v1.2.3