From bee3f802ada921fb8988edb96a8b41429f7c622c Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 13 Jan 2020 15:35:51 +0100
Subject: Fixing /\ and \/ priority for indentation purpose.

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

diff --git a/coq/coq-smie.el b/coq/coq-smie.el
index 6a92113d..6155d0fc 100644
--- a/coq/coq-smie.el
+++ b/coq/coq-smie.el
@@ -953,7 +953,7 @@ Typical values are 2 or 4."
       (assoc "|-") (assoc ":" ":<") (assoc ",")
       (assoc "else")
       (assoc "->") (assoc "<->")
-      (assoc "&") (assoc "/\\") (assoc "\\/")
+      (assoc "\\/") (assoc "&") (assoc "/\\")
       (assoc "==") (assoc "=") (assoc "<" ">" "<=" ">=" "<>")
       (assoc "=?") (assoc "<=?") (assoc "<?") (assoc "^")
       (assoc "||") ;; FIXME: detecting "+ tactic" and "|| tactic" seems impossible
-- 
cgit v1.2.3