From 8f2557ad197afbb46f44bb84b6214c6760084bd1 Mon Sep 17 00:00:00 2001 From: "Justin M. Keyes" Date: Fri, 6 Sep 2019 18:35:17 -0700 Subject: vim-patch:06fe74aef726 Runtime files update. https://github.com/vim/vim/commit/06fe74aef72606ac34c9f494186e52614b8fb59a --- runtime/syntax/murphi.vim | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'runtime/syntax/murphi.vim') 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 -" Last Change: 2017 Aug 27 +" Last Change: 2019 Aug 27 " Version: 2 " Remark: Originally authored by Diego Ongaro @@ -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. -- cgit