diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-05T16·20+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-05T16·20+0000 |
| commit | e17e95a82892b31c8063f2ace1b21c79e82e6f6d (patch) | |
| tree | 3e2475f7cb04ea24286656eb05d8c180188d3a07 /src/fix-ng | |
| parent | 80bb477cc4ea5226ae760726730b3e09d21559de (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