From 98820ae1d0513b9cc882cb0b43b538f2edfffa46 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 10 Jun 2011 16:10:19 +0000
Subject: Unplug smie cindentation code for this release.

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

diff --git a/coq/coq.el b/coq/coq.el
index a51da38b..5a7b28e1 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -219,7 +219,7 @@ On Windows you might need something like:
 
 ;; Indentation and navigation support via SMIE.
 
-(defcustom coq-use-smie t
+(defcustom coq-use-smie nil
   "If non-nil, Coq mode will try to use SMIE for indentation.
 SMIE is a navigation and indentation framework available in Emacs ≥ 23.3."
   :type 'boolean
-- 
cgit v1.2.3