branch: elpa/proof-general
commit 85cde55a86b2c3a67d8bbffa8de0d0276f724643
Merge: 2185896333 307831e26e
Author: Pierre Courtieu <mata...@users.noreply.github.com>
Commit: GitHub <nore...@github.com>
Merge pull request #679 from rssoc/master
Fixed an error when `proof-ignore-for-undo-count` is a function.
---
generic/proof-script.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/generic/proof-script.el b/generic/proof-script.el
index afa2e50b63..d62f2ea54c 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2901,7 +2901,7 @@ with something different."
(eq typ 'proverproc)
(eq typ 'proof)
(and proof-ignore-for-undo-count cmd
- (proof-string-match proof-ignore-for-undo-count cmd))))
+ (proof-stringfn-match proof-ignore-for-undo-count cmd))))
;; some named element: use generic forget-id function; finish.
((setq name (span-property span 'name))
(setq ans (format proof-forget-id-command name))
