From 16ea2ed4c4283d23447545e50a2f93ba22225dbe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 17:08:58 +0000
Subject: Fix typo.

---
 coq/coq-syntax.el | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index a06ebcc9..39af0890 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -839,7 +839,7 @@ Idtac (Nop) tactic, put the following line in your .emacs:
   (modify-syntax-entry ?\' "w")
   (modify-syntax-entry ?\| ".")
 
-; should baybe be "_" but it makes coq-find-and-forget (in coq.el) bug
+; should maybe be "_" but it makes coq-find-and-forget (in coq.el) bug
   (modify-syntax-entry ?\. ".") 
 
   (condition-case nil
@@ -853,10 +853,10 @@ Idtac (Nop) tactic, put the following line in your .emacs:
 
 (defconst coq-generic-expression
   (mapcar (lambda (kw) 
-				(list (capitalize kw)
-						(concat "\\<" kw "\\>" "\\s-+\\(\\w+\\)\\W" )
-						1))
-			 (append coq-keywords-decl coq-keywords-defn coq-keywords-goal)))
+	    (list (capitalize kw)
+		  (concat "\\<" kw "\\>" "\\s-+\\(\\w+\\)\\W" )
+		  1))
+	  (append coq-keywords-decl coq-keywords-defn coq-keywords-goal)))
 
 
 (provide 'coq-syntax)
-- 
cgit v1.2.3