using declare dominates

diff --git a/tests/new/DominatesTypePattern.java b/tests/new/DominatesTypePattern.java
index 5cfa557619ebe266f3c0518d5a03902ad99aabfc..1409241fb234f1ac38ec43e34bde16fce107cbfe 100644 (file)
--- 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"; }
 }