Revert broken change to VERIFY-FINAL-VALUE.

diff --git a/v7/src/edwin/prompt.scm b/v7/src/edwin/prompt.scm
index bc26c71d4adfc44db2139fc7a2ed2dd1ad2f9c68..1d9aa8d1e8d3c278ba27982e4f3e062d7678944d 100644 (file)
--- a/v7/src/edwin/prompt.scm
+++ b/v7/src/edwin/prompt.scm
@@ -1,6 +1,6 @@
 ;;; -*-Scheme-*-
 ;;;
-;;; $Id: prompt.scm,v 1.191 2001/05/07 18:00:20 cph Exp $
+;;; $Id: prompt.scm,v 1.192 2001/05/07 18:37:15 cph Exp $
 ;;;
 ;;; Copyright (c) 1986, 1989-2001 Massachusetts Institute of Technology
 ;;;
@@ -590,14 +590,17 @@ a repetition of this command will exit."
              (editor-failure))))))))
 
 (define (verify-final-value string error-continuation)
-  (bind-condition-handler (list condition-type:error)
-      (lambda (condition)
-       condition
-       (editor-beep)
-       (temporary-typein-message " [Error]")
-       (error-continuation unspecific))
-    (lambda ()
-      ((options/verify-final-value *options*) string))))
+  (let ((verifier (options/verify-final-value *options*)))
+    (if verifier
+       (bind-condition-handler (list condition-type:error)
+           (lambda (condition)
+             condition
+             (editor-beep)
+             (temporary-typein-message " [Error]")
+             (error-continuation unspecific))
+         (lambda ()
+           (verifier string)))
+       #t)))
 \f
 ;;;; Completion Primitives