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)
XAMPPRocky · Oct 31, 2024 · 3f07a0c · 3f07a0c
1 parent 16a97f3
commit 3f07a0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/languages.json b/languages.json
@@ -578,7 +578,7 @@
       "quotes": [["\\\"", "\\\""]],
       "line_comment": ["//"],
       "multi_line_comments": [["(*", "*)"]],
-      "extensions": ["fst"]
+      "extensions": ["fst", "fsti"]
     },
     "Futhark": {
       "line_comment": ["--"],