diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-13 18:55:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-13 18:55:30 +0000 |
| commit | ca4c1a91f089988737d3f57f5378eedea1627ba1 (patch) | |
| tree | 0154154f12fa6f8e1bc030ee71a341fdb1a2b7bb /generic/proof-syntax.el | |
| parent | 32b5ec45938ec13a2edcd9500398106eb346c1db (diff) | |
proof-string-match-safe is even more safe
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." |