1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 13aea969..039e81cc 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -333,7 +333,7 @@ SMIE is a navigation and indentation framework available in Emacs ≥ 23.3."
       (let ((pos (point))
             (prev (smie-default-backward-token)))
         (if (equal prev "Module")
-            pref
+            prev
           (goto-char pos)
           tok)))
      ((equal tok "Module")