commit 06fe74aef72606ac34c9f494186e52614b8fb59a
author Bram Moolenaar <Bram@vim.org> Sat Aug 31 16:20:32 2019 +0200
committer Bram Moolenaar <Bram@vim.org> Sat Aug 31 16:20:32 2019 +0200
tree cc18e67c68b4d19fdcd70349fcd180a2dcd36986
parent 4bbfb0f3cc67c00c8cee4e47283e8d760025219d

Runtime files update.

runtime/syntax/murphi.vim

diff --git a/runtime/syntax/murphi.vim b/runtime/syntax/murphi.vim
index b2faa8c..347e17f 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      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 @@
 
 " 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.