fixed to use declare dominates

1 files changed, 3 insertions, 3 deletions

diff --git a/tests/new/DeclarationCollisionCE.java b/tests/new/DeclarationCollisionCE.java
index 3ad4f4f16..b9c8d7445 100644
--- a/tests/new/DeclarationCollisionCE.java
+++ b/tests/new/DeclarationCollisionCE.java
@@ -10,21 +10,21 @@ public class DeclarationCollisionCE {
 class C {}
 
 // bug: dominates clause prevents collision error
-abstract aspect AA dominates B { 
+abstract aspect AA { declare dominates: AA, B; 
     // same result if this line is uncommented
     //public String C.title() { return "[AA] C.title()"; }
 }
 
 aspect A extends AA { // implicitly dominates AA
     // dominates AA's declaration, overriding Super.title
-    public String C.title() {           // CE 21 collision with B declaration
+    public String C.title() {           // CE 20 collision with B declaration
         return "[A] C.title()" ; 
     }
 }
 
 aspect B extends AA { // explicitly dominated by AA ?? --> and hence by A??
     // B fails to dominate AA's declaration, overriding Super.title
-    public String C.title() {           // CE 28 collision with A declaration
+    public String C.title() {           // CE 27 collision with A declaration
         return "[B] C.title()" ; 
     }
 }