diff options
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
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." |