From f6eb1cc5328f20ed94524db6e57d86d6c516885e Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Wed, 30 Oct 2024 16:57:41 +0100
Subject: [PATCH] Add missing extension `fsti` for F*

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": ["--"],