From 770398ef717935324e1eb7b6d079692ab837b429 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Thibault?= <jeremy.thibault@epfl.ch>
Date: Tue, 25 Aug 2026 11:39:28 +0200
Subject: [PATCH] Fix wrong indentation of Variant

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

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