From 0f4228ff072e374d439e88bd60dea9cc04473379 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 10:58:06 +0000
Subject: Typo

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 67df7e54..af568f53 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -693,7 +693,7 @@ beginning of the entity's region."
 (defcustom proof-lift-global nil
   "This function lifts local lemmas from inside goals out to top level.
 This function takes the local goalsave span as an argument. Set this
-to `nil' of the proof assistant does not support nested goals."
+to `nil' if the proof assistant does not support nested goals."
   :type 'function
   ;; FIXME customize broken on choices with function in them?
   ;; :type '(choice (const :tag "No local lemmas" nil) (function))
-- 
cgit v1.2.3