From 065957def8d08b4a08529e18c092ee7087895672 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Fri, 25 Jun 2010 21:07:18 +0000
Subject: Chalice: * renamed keyword "maxlock" to "waitlevel" * added -vs
 switch, for I/O suitable for VS integration

---
 Util/latex/chalice.sty | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Util/latex')

diff --git a/Util/latex/chalice.sty b/Util/latex/chalice.sty
index f9ba5234..4ef98f9c 100644
--- a/Util/latex/chalice.sty
+++ b/Util/latex/chalice.sty
@@ -22,7 +22,7 @@
     if,in,int,invariant,ite,%
     join,%
     lock,lockbottom,lockchange,%
-    maxlock,method,module,%
+    method,module,%
     new,nil,null,%
     old,%
     predicate,%
@@ -31,7 +31,7 @@
     this,token,true,%
     unfold,unfolding,unshare,%
     var,%
-    while},
+    waitlevel,while},
   literate=%
     {=}{{=~}}1%
     {+=}{{+}{=}~}3%
-- 
cgit v1.2.3