| commit | 0370afb3a78c13520a631d6f70798e5793e1e9cc | [log] [tgz] |
|---|---|---|
| author | dwagelaar <dwagelaar@gmail.com> | Wed Jan 15 21:51:40 2014 +0100 |
| committer | dwagelaar <dwagelaar@gmail.com> | Wed Jan 15 21:51:40 2014 +0100 |
| tree | f50c98deff6525933c766a09f8558b002169a137 | |
| parent | b24c4c2562b9ec9e0cde7be2bc43d86b6bef5913 [diff] |
425492: multiple calls to lazy rule in refining mode https://bugs.eclipse.org/bugs/show_bug.cgi?id=425492