diff options
| author | David Aspinall | 2008-01-29 00:41:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 00:41:46 +0000 |
| commit | a6066f76920be1d967ae11b8dcb18f932aa25af9 (patch) | |
| tree | e5d6d6e687ad23f154707567d408b26f0baa3ccf /generic/proof-script.el | |
| parent | 023957c67a1e3f433372adeb156406b6b89dddc8 (diff) | |
Typo.
Diffstat (limited to 'generic/proof-script.el')
| -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) |