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