branch: elpa/proof-general
commit 307831e26e67f3a85ea28bc250b5dee343b462a1
Author: rssoc <8051656+rs...@users.noreply.github.com>
Commit: rssoc <8051656+rs...@users.noreply.github.com>
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 31e5d083b2..d4e26405cd 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2736,7 +2736,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))
