diff options
author | Rustan Leino <leino@microsoft.com> | 2011-07-26 19:02:46 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2011-07-26 19:02:46 -0700 |
commit | b96ec627f9adcd601ae347d08a9013e63187d592 (patch) | |
tree | b9079dae2524253698641997acc4f076fc2ef8c6 /Util/latex | |
parent | ee8d3aaea78450c72111c5736bbb3ff500139df9 (diff) |
Chalice: added string type and string literals (but no other string operations)
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,%
|