small fix in vim coloring

6fe29743 · Andrei Paskevich · 073deb97 · 6fe29743
Commit 6fe29743 authored Mar 17, 2012 by Andrei Paskevich
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

share/vim/why3.vim share/vim/why3.vim +1 -1

No files found.
--- a/share/vim/why3.vim
+++ b/share/vim/why3.vim
@@ -93,7 +93,7 @@ syn keyword  whyKeyword  not predicate
 syn keyword  whyKeyword  then true type with

 syn keyword  whyKeyword  abstract absurd any assert assume
-syn keyword  whyKeyword  check do exception fun ghost
+syn keyword  whyKeyword  check exception fun ghost
 syn keyword  whyKeyword  invariant model mutable
 syn keyword  whyKeyword  private raise raises reads rec
 syn keyword  whyKeyword  variant while writes