diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-03-20 22:09:17 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-03-20 22:09:17 +0000 |
| commit | 7ae2e0167889e6fde45fcd175d3dfab0029f973a (patch) | |
| tree | 6dca582ff723888669f7401139e06342330c8e08 /src/JavaGUI2/de/uka/ilkd/key/ocl | |
| parent | 00e681aee886c3b12acbaf07068571238a955ed2 (diff) | |
Remove removeIdenticalRules, since it would get rid of alternative parse results.
Diffstat (limited to 'src/JavaGUI2/de/uka/ilkd/key/ocl')
0 files changed, 0 insertions, 0 deletions