diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2019-09-06 18:35:17 -0700 |
|---|---|---|
| committer | Justin M. Keyes <justinkz@gmail.com> | 2019-09-06 18:44:52 -0700 |
| commit | 8f2557ad197afbb46f44bb84b6214c6760084bd1 (patch) | |
| tree | d3b2aacab1138142ea302a99e8b55d235a97fe50 /runtime/syntax/murphi.vim | |
| parent | 0430a1ba88b2efa72617eee6b1e55f2121fb1c13 (diff) | |
| download | rneovim-8f2557ad197afbb46f44bb84b6214c6760084bd1.tar.gz rneovim-8f2557ad197afbb46f44bb84b6214c6760084bd1.tar.bz2 rneovim-8f2557ad197afbb46f44bb84b6214c6760084bd1.zip | |
vim-patch:06fe74aef726
Runtime files update.
https://github.com/vim/vim/commit/06fe74aef72606ac34c9f494186e52614b8fb59a
Diffstat (limited to 'runtime/syntax/murphi.vim')
| -rw-r--r-- | runtime/syntax/murphi.vim | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/runtime/syntax/murphi.vim b/runtime/syntax/murphi.vim index b2faa8c119..347e17f5ac 100644 --- a/runtime/syntax/murphi.vim +++ b/runtime/syntax/murphi.vim @@ -1,7 +1,7 @@ " Vim syntax file " Language: Murphi model checking language " Maintainer: Matthew Fernandez <matthew.fernandez@gmail.com> -" Last Change: 2017 Aug 27 +" Last Change: 2019 Aug 27 " Version: 2 " Remark: Originally authored by Diego Ongaro <ongaro@cs.stanford.edu> @@ -61,7 +61,6 @@ syn keyword murphiFunction multisetcount syn keyword murphiFunction multisetremove syn keyword murphiFunction multisetremovepred syn keyword murphiKeyword procedure -syn keyword murphiKeyword process syn keyword murphiKeyword program syn keyword murphiKeyword put syn keyword murphiStructure record @@ -89,7 +88,7 @@ syn match murphiNumber "\<\d\+\>" " Operators and special characters. syn match murphiOperator "[\+\-\*\/%&|=!<>:\?]\|\." -syn match murphiDelimiter "\(:[^=]\|[;,]\)" +syn match murphiDelimiter "\(:=\@!\|[;,]\)" syn match murphiSpecial "[()\[\]]" " Double equal sign is a common error: use one equal sign for equality testing. |