tree 2dff714beb670f6d8688832969d6094ea72844a9
parent b0018388ab6a54deada03b56c828fe9ba7c43618
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1272123118 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1272123118 +0000

fix regression in test713_roleImplementsInheritedAbstractMethod2:
- don't let a problem method replace an existing method.