From 3f206f8658bd5fabe6726a39c0fa0c9405fcca8d Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 24 Mar 2015 18:14:44 +0000
Subject: Fixed indetation of tryif then else.

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

(limited to 'coq')

diff --git a/coq/coq-smie.el b/coq/coq-smie.el
index 2d48a592..bfbc9a8f 100644
--- a/coq/coq-smie.el
+++ b/coq/coq-smie.el
@@ -477,6 +477,8 @@ The point should be at the beginning of the command name."
 
      ((member tok '("lazymatch" "multimatch")) "match")
 
+     ((equal tok "tryif") "if")
+
      ;; rhaaa... Some peolple use "End" as a id...
      ((equal tok "End")
       (if (coq-is-at-command-real-start) "end module" tok))
-- 
cgit v1.2.3