From 275d38ca5a77ae960504ce9af55d4c0cdf9174d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Oct 1999 18:36:01 +0000
Subject: Fixup name changes

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

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index a3f0498e..231368cb 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1510,7 +1510,7 @@ Start up the proof assistant if necessary."
 
 (proof-define-assistant-command proof-prf  
   "Show the current proof state."
-  proof-proof-command)
+  proof-showproof-command)
 (proof-define-assistant-command proof-ctxt 
   "Show the current context."
   proof-context-command)
-- 
cgit v1.2.3