From accc3c19e430b9070fd445b1d2fb618b36c18668 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 19:45:28 +0000
Subject: Typo

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

(limited to 'generic')

diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el
index de22153c..c0f76532 100644
--- a/generic/proof-easy-config.el
+++ b/generic/proof-easy-config.el
@@ -32,7 +32,7 @@
 	   (mode      (intern (concat modert hyphen "mode")))
 	   (modename  (concat proof-assistant " " suffixnm))
 	   ;; FIXME: declare these variables in proof-config:
-	   ;;   proof-{goals,resp,trace}-syntax-table-entries
+	   ;;   proof-{goals,response,trace}-syntax-table-entries
 	   ;; FIXME: in future versions, use these settings in *-config-done
 	   ;;        to simplify elisp code elsewhere.
 	   ;; FIXME: add imenu-generic-expression too
-- 
cgit v1.2.3