From 4edc1f290250cb93168c0aadc9f25ba5949b6bc4 Mon Sep 17 00:00:00 2001
From: jhugunin <jhugunin>
Date: Mon, 30 Dec 2002 20:31:38 +0000
Subject: using declare dominates

---
 tests/new/DominatesTypePattern.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/new')

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"; }
 }
 
-- 
cgit v1.2.3