diff options
Diffstat (limited to 'Util/latex')
-rw-r--r-- | Util/latex/chalice.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/latex/chalice.sty b/Util/latex/chalice.sty index 4ef98f9c..a04d6f23 100644 --- a/Util/latex/chalice.sty +++ b/Util/latex/chalice.sty @@ -27,7 +27,7 @@ old,%
predicate,%
rd,reorder,release,requires,result,returns,%
- seq,share,%
+ seq,share,string,%
this,token,true,%
unfold,unfolding,unshare,%
var,%
|