From 7cf1ffdfc24c4c0ff8dfee128b52fe82612c953b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 15:30:16 +0000
Subject: typo

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 83b850bf..73e11093 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -533,7 +533,7 @@ mere warning messages with this regexp)."
   :type 'regexp
   :group 'proof-shell)
 
-(defvar pbp-hyp-command nil
+(defcustom pbp-hyp-command nil
   "Command informing the prover that `pbp-button-action' has been
   requested on an assumption."
   :type 'regexp
-- 
cgit v1.2.3