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