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%