# HG changeset patch # User Mike Pavone # Date 1293138991 18000 # Node ID 0e06f29aa83dd6a311c7682dd88549b2a9d303da # Parent 37b999dbd12e3f376b3ac4673420a9030f7aa162 Small tweak to String Cat balance diff -r 37b999dbd12e -r 0e06f29aa83d string.rhope --- a/string.rhope Thu Dec 23 15:48:19 2010 -0500 +++ b/string.rhope Thu Dec 23 16:16:31 2010 -0500 @@ -868,7 +868,7 @@ lr <- [left]Right >> If[[[ll]Depth] > [[lr]Depth]] { - out <- String Cat[ll, String Cat[lr,right]] + out <- String Cat[ll, Append[lr,right]] }{ out <- String Cat[left,right] }