| commit | 3f544e82f23c66d5ddc7d348050154ea83ae3e5b | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Apr 29 15:03:53 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Apr 29 15:03:53 2010 +0000 |
| tree | ecd12a380d482675db56871d7d87f848499cf2e1 | |
| parent | 074ca4e249b80bd7ba704f68d5a7859321437c18 [diff] |
Fix for new test test1710_confinedBoundRole2: - generated statement base._OT$addRole(this) must cope with "this" having a declared confined type.