diff options
Diffstat (limited to 'Util/latex/chalice.sty')
-rw-r--r-- | Util/latex/chalice.sty | 4 |
1 files changed, 2 insertions, 2 deletions
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%
|