diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-14T16·24+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-14T16·24+0000 |
| commit | 8f67b3588603483402440538d7dc326451bbe60d (patch) | |
| tree | 4c72877a8e2ea20379249eff1555d9eb6c7b600e /src/aterm-helper.pl | |
| parent | 8659edc0981373a42f123cd7d84b9925be0123bc (diff) | |
* Make the garbage collector more resilient to certain consistency
errors: in-use paths now cause a warning, not a fatal error.
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions