From 3f07a0c7c611648ff4b7a52190fe52f817374010 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Thu, 31 Oct 2024 09:46:29 +0100
Subject: [PATCH] Add missing extension `fsti` for F* (#1184)

This PR just adds `fsti` to list of extensions for F*.
(while `fst` are for implementations, `fsti` are for interfaces)
---
 languages.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/languages.json b/languages.json
index 4ff4b39c7..97f741966 100644
--- a/languages.json
+++ b/languages.json
@@ -578,7 +578,7 @@
       "quotes": [["\\\"", "\\\""]],
       "line_comment": ["//"],
       "multi_line_comments": [["(*", "*)"]],
-      "extensions": ["fst"]
+      "extensions": ["fst", "fsti"]
     },
     "Futhark": {
       "line_comment": ["--"],