From 559a9c9b0122c736ce970264349839aceeb9a85b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Fri, 21 Sep 2012 16:53:47 +0000
Subject: Fixing a bad interaction between one unicode token and electric
 terminator.

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

(limited to 'coq/coq-unicode-tokens.el')

diff --git a/coq/coq-unicode-tokens.el b/coq/coq-unicode-tokens.el
index 124a0146..d02ea70b 100644
--- a/coq/coq-unicode-tokens.el
+++ b/coq/coq-unicode-tokens.el
@@ -172,7 +172,7 @@ results will be undefined when files are saved."
     ("-O" . "⊖")
     ("xO" . "⊗")
     ("/O" . "⊘")
-    (".O" . "⊙")
+    ;(".O" . "⊙") ; bad interaction with electric terminatore and double hit terminator
     ("|+" . "†")
     ("|++" . "‡")
     ("<=" . "≤")
-- 
cgit v1.2.3