From 16aa546c3db30a7ba87de85139e961240db1ed3f Mon Sep 17 00:00:00 2001
From: Patrick Loiseleur
Date: Mon, 3 May 1999 14:02:08 +0000
Subject: OrElse -> Orelse

---
 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 804de46f..b6507361 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -160,7 +160,7 @@
     "Abstract"
     "Do"
     "Idtac"
-    "OrElse"
+    "Orelse"
     "Repeat"
     "Try")
   "Keywords for tacticals in a Coq script")
-- 
cgit v1.2.3