m-vim_plugins/vim-polyglot
1
0
Fork 0
mirror of https://github.com/sheerun/vim-polyglot.git synced 2025-11-14 06:23:50 -05:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update

Browse Source
This commit is contained in:
Adam Stankiewicz
2022-03-12 15:46:18 +01:00
parent 83422e0a1f
commit a4f98d2a9e
12 changed files with 153 additions and 68 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
syntax/smt2.vim
View File

@@ -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[\^\~]"