about summary refs log tree commit diff
path: root/src/fix-ng
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-05T16·20+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-05T16·20+0000
commite17e95a82892b31c8063f2ace1b21c79e82e6f6d (patch)
tree3e2475f7cb04ea24286656eb05d8c180188d3a07 /src/fix-ng
parent80bb477cc4ea5226ae760726730b3e09d21559de (diff)
* Print a shared textual ATerm if the term if very large. Due to
  substitutions, Fix terms are very large when printed as trees (in 
  memory, they are quite compact due to sharing).

Diffstat (limited to 'src/fix-ng')
0 files changed, 0 insertions, 0 deletions