| commit | bb74eb39b9141873428a515b3d8afe46b89edc75 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Jan 02 16:08:16 2014 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Jan 02 16:08:16 2014 +0100 |
| tree | f629e2bcf6442913fd53efbd7253fb6b74d31893 | |
| parent | a27d319d2168ecfd7945777ec85f3edc3fc816f4 [diff] |
Fixed a merge-incurred regression, role type arguments where not correctly wrapped during substitution.