From 783f894cf4d80314cef62bfde204c6f8dcd1ffbf Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 11 Feb 2004 16:40:32 +0000
Subject: little error in the syntax corrected.

---
 coq/coq-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 54349f72..bbca7abc 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -236,7 +236,7 @@ Print and Check commands, put the following line in your .emacs:
 	    "SearchRewrite"
 	    "Set\\s-+Hyps_limit"
 	    "Set\\s-+Undo"
-	    "Set\\s-+Set\\s-+Printing\\s-+Coercion[^s]"
+	    "Set\\s-+Printing\\s-+Coercion[^s]"
 	    "Show"
 	    "Test\\s-+Printing\\s-+If"
 	    "Test\\s-+Printing\\s-+Let"
-- 
cgit v1.2.3