diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2019-09-07 19:22:33 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-07 19:22:33 -0700 |
| commit | dd7355358edc40734afcce695432756859377eb8 (patch) | |
| tree | ca104883444d0e6f183799860baf47fdc94369c0 /runtime/syntax/murphi.vim | |
| parent | 6692c0958f476456b59cd9f36b35b1c5b3202145 (diff) | |
| parent | 8f2557ad197afbb46f44bb84b6214c6760084bd1 (diff) | |
| download | rneovim-dd7355358edc40734afcce695432756859377eb8.tar.gz rneovim-dd7355358edc40734afcce695432756859377eb8.tar.bz2 rneovim-dd7355358edc40734afcce695432756859377eb8.zip | |
Merge #10962 from justinmk/vim-088e8e344352
vim-patch: runtime updates
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. |