1 files changed, 1 insertions, 1 deletions
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)))