diff options
| author | Erik Martin-Dorel | 2020-06-20 19:50:51 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-20 19:50:51 +0200 |
| commit | 5cc231625e2b4a2e4b4d4caf088a44e9c4f1259e (patch) | |
| tree | 574f7b350168e03875ddc83856a4e36402c6f7f5 | |
| parent | 0f0bb2c00fb7b20fd187cb92d4d2c3f84c4c5987 (diff) | |
| parent | 543c2807aec1182b9a006abd233548f3459a02c6 (diff) | |
Merge pull request #501 from haselwarter/proof-shell-string-match-safe
Use `proof-shell-string-match-safe` to avoid failing on `nil` regexp
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 78b36ee7..af9b50e0 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1197,7 +1197,9 @@ contains only invisible elements for Prooftree synchronization." (lambda (item) (memq 'proof-tree-show-subgoal (nth 3 item))) proof-action-list) ;; If the last command in proof-action-list is a "Show Proof" form then return t - (when last-command (string-match-p proof-show-proof-diffs-regexp last-command))))))))) + (when last-command + (proof-shell-string-match-safe + proof-show-proof-diffs-regexp last-command))))))))) (defun proof-shell-insert-loopback-cmd (cmd) |