diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-08T18·41+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-08T18·41+0000 |
| commit | fa333031464ca394317a55a0e7c6b773f068aae2 (patch) | |
| tree | 54e06ab90302c6481d20dfd4c12aa852eb1f717d /aterm-gc.supp | |
| parent | 06c4929958c60b085cbe18a558df9ef58c8f8689 (diff) | |
* Goal cancellation inside the waitForInput() loop needs to be handled
very carefully, since it can invalidate iterators into the `children' map.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions