From a6066f76920be1d967ae11b8dcb18f932aa25af9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 00:41:46 +0000
Subject: Typo.

---
 generic/proof-script.el | 4 ++--
 1 file 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) 
-- 
cgit v1.2.3