summaryrefslogtreecommitdiff
path: root/Util/vim/syntax/dafny.vim
diff options
context:
space:
mode:
Diffstat (limited to 'Util/vim/syntax/dafny.vim')
-rw-r--r--Util/vim/syntax/dafny.vim2
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/vim/syntax/dafny.vim b/Util/vim/syntax/dafny.vim
index faac0cbb..37038f35 100644
--- a/Util/vim/syntax/dafny.vim
+++ b/Util/vim/syntax/dafny.vim
@@ -5,7 +5,7 @@
syntax clear
syntax case match
-syntax keyword dafnyFunction function method constructor
+syntax keyword dafnyFunction function predicate method constructor
syntax keyword dafnyTypeDef class datatype type
syntax keyword dafnyConditional if then else match case
syntax keyword dafnyRepeat while parallel