| commit | 6bbc5255d89223fd688c5c23e6c4fa363eaed523 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 02 21:32:10 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 02 21:32:10 2010 +0000 |
| tree | 79ad5b1d5bd4e0e09e3a283bab6038571a02ff96 | |
| parent | 6b94e2060611770c0fdee24a72896aa8cb8ef1ce [diff] |
Fix for Bug 304346 - Overriding of role ctor does not prevent generation of default ctor