From e9e2f7ec5f50916e11b44162762f30f1f6a2b659 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Fri, 8 Jan 2016 18:03:05 +0100
Subject: Fixing indentation of ";".

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

(limited to 'coq/coq-smie.el')

diff --git a/coq/coq-smie.el b/coq/coq-smie.el
index 3aa5ec67..403dc4a8 100644
--- a/coq/coq-smie.el
+++ b/coq/coq-smie.el
@@ -94,7 +94,7 @@ attention to case differences."
   (let ((case-fold-search nil))
     (save-excursion       
       (coq-find-real-start)
-      (looking-at "Ltac\\s-"))))
+      (looking-at "\\(\\(Local\\|Global\\)\\s-+\\)?\\(Ltac\\|Tactic\\s-+Notation\\)\\s-"))))
 
 (defun coq-smie-is-inside-parenthesized-tactic ()
   (and (coq-smie-is-tactic) ;; fragile (uppercase test only)
-- 
cgit v1.2.3