diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2022-03-12 15:46:18 +0100 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2022-03-12 15:46:18 +0100 |
| commit | a4f98d2a9e9dfeb110d4a910ea177432fec88b81 (patch) | |
| tree | 0da567e3f00dd1da076f5fb45331c24e4a90a646 /syntax/smt2.vim | |
| parent | 83422e0a1fcfc88f3475104b0e0674e8dbe3130e (diff) | |
| download | vim-polyglot-a4f98d2a9e9dfeb110d4a910ea177432fec88b81.tar.gz vim-polyglot-a4f98d2a9e9dfeb110d4a910ea177432fec88b81.zip | |
Update
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[\^\~]" |