diff options
| -rw-r--r-- | tests/new/DominatesTypePattern.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/new/DominatesTypePattern.java b/tests/new/DominatesTypePattern.java index 5cfa55761..1409241fb 100644 --- a/tests/new/DominatesTypePattern.java +++ b/tests/new/DominatesTypePattern.java @@ -12,7 +12,7 @@ public class DominatesTypePattern { class C {} // works if A is specified explicitly -abstract aspect AA dominates AA+ { // error: should dominate A +abstract aspect AA { declare dominates: AA, (AA+ && !AA); // error: should dominate A public String C.method() { return "pass"; } } |