Support for the 'include' keyword

FStarLang · Feb 24, 2017 · f7b9820 · f7b9820
1 parent 3a48165
commit f7b9820
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fstar-mode.el b/fstar-mode.el
@@ -182,7 +182,7 @@ error."
                 "kind" "type" "logic" "new" "abstract"
                 "unfold" "irreducible" "inline_for_extraction" "noeq" "noextract"
                 "private" "opaque" "total" "default" "reifiable" "reflectable"
-                "open" "module")
+                "open" "module" "include")
               'symbols))
 
 (defconst fstar-syntax-preprocessor