commit | 5dec386582639f7f8011b0133417ad8b7c7f2b98 | [log] [tgz] |
---|---|---|
author | sboyko <serg.boyko2011@gmail.com> | Thu Jan 29 21:24:45 2015 +0400 |
committer | sboyko <serg.boyko2011@gmail.com> | Thu Jan 29 21:24:45 2015 +0400 |
tree | fcceb4edbc674fcf0d8238becc92e2e435437ee8 | |
parent | efca89425081b880cc1e998fce025bf7ca9dab82 [diff] |
[438038] - Compilation error when using an overriding mapping as disjuncted mapping