diff --git a/coq/coq-smie.el b/coq/coq-smie.el
index 290f5937d..9ee4341ab 100644
--- a/coq/coq-smie.el
+++ b/coq/coq-smie.el
@@ -596,7 +596,7 @@ The point should be at the beginning of the command name."
   (let* (;; (orig (point))
          (cmdstrt (save-excursion (coq-find-real-start)))
          (corresp (coq-smie-search-token-backward
-		   '("let" "Inductive" "CoInductive" "{|" "." "with" "Module" "where"
+		   '("let" "Inductive" "CoInductive" "Variant" "{|" "." "with" "Module" "where"
                      "Equations")
 		   cmdstrt '((("let" "with") . ":=")))))
     (cond