From 88bcc38dcf07e2c04b1a028d683047b13ae9208a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 4 Nov 2011 16:57:53 +0000
Subject: Fix previous commit.

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

diff --git a/coq/coq.el b/coq/coq.el
index f5e149eb..293f2493 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -377,7 +377,7 @@ SMIE is a navigation and indentation framework available in Emacs >= 23.3."
             next
           (goto-char pos)
           tok)))
-     (tok))))
+     (tok)))
 
 (defun coq-smie-backward-token ()
   (let ((tok (smie-default-backward-token)))
-- 
cgit v1.2.3