diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-01-05 20:55:13 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-01-05 20:55:13 +0000 |
| commit | 3bf8e5ce6fbc026fd045762fbbf63eee58f09367 (patch) | |
| tree | ef265bfc1b7aabb3925ff2b68c85c769382a188d /src/JavaGUI2/de/uka/ilkd/key/ocl | |
| parent | dc3f7e1d61d56ff1ac5bf3f6db5f3757e8c1a63c (diff) | |
Fixed-point iterate unneccessary node removeal.
Diffstat (limited to 'src/JavaGUI2/de/uka/ilkd/key/ocl')
0 files changed, 0 insertions, 0 deletions