diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-03-27T15·33+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-03-27T15·33+0000 |
commit | f0f7a9f29962c55a6c2082b44c9befbd912c2f53 (patch) | |
tree | d768ccbd861af67d1c33d9657777c55139e4ec8a /src/libutil/aterm.cc | |
parent | 7823db2137d8079bcf512aba4ce46f1373693517 (diff) |
* Do not close a nesting level twice after close() has been
called explicitly on a Nest object.
Diffstat (limited to 'src/libutil/aterm.cc')
0 files changed, 0 insertions, 0 deletions