diff options
Diffstat (limited to 'syntax/smt2.vim')
| -rw-r--r-- | syntax/smt2.vim | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/syntax/smt2.vim b/syntax/smt2.vim index 29cb4625..647732b2 100644 --- a/syntax/smt2.vim +++ b/syntax/smt2.vim @@ -129,7 +129,6 @@ syntax keyword smt2Builtin \ rotate_left \ rotate_right \ sat - \ sat \ select \ sign_extend \ store @@ -137,7 +136,6 @@ syntax keyword smt2Builtin \ to_real \ true \ unsat - \ unsat \ xor \ zero_extend syntax match smt2Builtin "\m\C[\^\~]" |