Commit 16ca4a30 authored by Andrei Paskevich's avatar Andrei Paskevich

Why3 vim syntax minor fix

parent a13953ad
......@@ -112,14 +112,11 @@ syn region whyString start=+"+ skip=+\\\\\|\\"+ end=+"+
syn match whyOperator "->"
syn match whyOperator "<->\?"
syn match whyOperator "/\\"
syn match whyOperator "\\/"
syn match whyOperator "\\[/!?]\?"
syn match whyOperator "&&"
syn match whyOperator "<>"
syn match whyKeyChar "|"
syn match whyKeyChar "?"
syn match whyKeyChar "!"
syn match whyKeyChar ";"
syn match whyKeyChar "\\"
" FIXME? is this too inefficient?
syn match whyOperator "[^<>~=:+*/%$&@^.|#!?]=[^<>~=:+*/%$&@^.|#!?]"ms=s+1,me=e-1
syn match whyOperator "^=[^<>~=:+*/%$&@^.|#!?]"me=e-1
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment