From 26c7cc6a718c7d8d9acdbec4ff6d05297fa9b67f Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 20 Jul 2000 15:39:14 +0000
Subject: fixed comment;

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

diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el
index af18d843..ec50efb6 100644
--- a/generic/proof-easy-config.el
+++ b/generic/proof-easy-config.el
@@ -66,7 +66,7 @@
     (error "proof-easy-config: Proof General is already in use for a different prover!"))
    (t
     ;; Setting these here is nice for testing: no need to get
-    ;; proof-assistants-table right first.
+    ;; proof-assistant-table right first.
     (customize-set-variable 'proof-assistant name)
     (customize-set-variable 'proof-assistant-symbol sym))))
 
-- 
cgit v1.2.3