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/libmain | |
| parent | 7823db2137d8079bcf512aba4ce46f1373693517 (diff) | |
* Do not close a nesting level twice after close() has been
called explicitly on a Nest object.
Diffstat (limited to 'src/libmain')
0 files changed, 0 insertions, 0 deletions