-
wlott authored
to notice if the user structure printer also tried to do depth abbrevs and circularity detection, and blow it off 'cause we've already done it.
d3eb84b8
to notice if the user structure printer also tried to do depth abbrevs and circularity detection, and blow it off 'cause we've already done it.