Highlight property, Bool, String

ulidtko · Aug 23, 2021 · 48b7d26 · 48b7d26
1 parent 18ab883
commit 48b7d26
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/syntax/cryptol.vim b/syntax/cryptol.vim
@@ -49,8 +49,8 @@ syn keyword cryConditional	if then else
 syn keyword cryWhere	        where
 syn keyword cryTypeSyn	        type
 syn keyword cryPragma	        pragma
-syn keyword cryProp	        extern theorem proof forall codeGen Cpp Haskell SMT Isabelle axioms
-syn keyword cryType	        Bit inf
+syn keyword cryProp	        extern theorem proof forall codeGen Cpp Haskell SMT Isabelle axioms property
+syn keyword cryType	        Bit inf Bool String
 
 " Primitives
 syn keyword cryBoolean          False True