From: wisberg <wisberg>
Date: Fri, 9 Jan 2004 17:33:43 +0000 (+0000)
Subject: respecting Xlint:unmatchedSuperTypeInCall, if only to preserve that compiling the... 
X-Git-Tag: mostlyLastEclipse2xTree_20040112~7
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=fa41ac6ec439074fa75a84eeae2815dd20d71b78;p=aspectj.git

respecting Xlint:unmatchedSuperTypeInCall, if only to preserve that compiling the examples don't produce errors or warnings
---

diff --git a/docs/dist/doc/examples/spacewar/Debug.java b/docs/dist/doc/examples/spacewar/Debug.java
index a5d991661..a3afb1dda 100644
--- a/docs/dist/doc/examples/spacewar/Debug.java
+++ b/docs/dist/doc/examples/spacewar/Debug.java
@@ -166,7 +166,7 @@ aspect Debug {
     }
 
     after(Ship ship, SpaceObject obj) returning :
-	call(void Ship.handleCollision(SpaceObject)) && target(ship) && args(obj) {
+	call(void handleCollision(SpaceObject)) && target(ship) && args(obj) {
         if (traceFireCollideDamage.getState())
             infoWin.println(ship + " collides with " + obj);
     }