From b4d267785f18bdb443ddcc930a659b526abcc0c3 Mon Sep 17 00:00:00 2001
From: Lars Rasmusson <Lars.Rasmusson@ri.se>
Date: Tue, 30 Dec 2025 14:27:07 +0000
Subject: [PATCH] Add Coq (.v) file support

---
 internal/lsp/detect-language.go | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/internal/lsp/detect-language.go b/internal/lsp/detect-language.go
index e8bf605f..3ed55c4e 100644
--- a/internal/lsp/detect-language.go
+++ b/internal/lsp/detect-language.go
@@ -120,6 +120,8 @@ func DetectLanguageID(uri string) protocol.LanguageKind {
 		return protocol.LangTypeScript
 	case ".tsx":
 		return protocol.LangTypeScriptReact
+	case ".v":
+		return protocol.LanguageKind("coq")
 	case ".xml":
 		return protocol.LangXML
 	case ".xsl":