| commit | fa5f6f4a9d9c7e2c1499ab5ff46bee6f6c6c64e0 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed Jul 13 18:49:30 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed Jul 13 18:49:30 2011 +0000 |
| tree | 4b21fe2c60a2bc35c43f10115690a1f342123611 | |
| parent | 40ba96e7b31771389d79170f8ad65910cba9198b [diff] |
Test & fix for Bug 351317 - Error in (redundant) cast of anchored type