commit | 9debc8da5ef467b88de4b8d4e470e895a372b4d9 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 02 21:35:31 2010 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 02 21:35:31 2010 +0000 |
tree | 31e888b508dc4be53c5226260280654485e0b1fb | |
parent | 6bbc5255d89223fd688c5c23e6c4fa363eaed523 [diff] |
fix for test216_samePlayerAsSuperrole2: * don't report the error being avoided by using an alien scope.