diff options
| -rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 3cd6a968..080bd679 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -201,9 +201,9 @@ scripting buffer may have an active queue span.") (if (span-live-p proof-locked-span) (proof-span-read-only proof-locked-span)))) - + (cond - ((boundp 'undo-make-selective-list) + ((fboundp 'undo-make-selective-list) (defsubst proof-set-queue-endpoints (start end) "Set the queue span to be START, END. Discard undo for edits before END." (unless (or (eq buffer-undo-list t) |