diff options
| -rw-r--r-- | docs/dist/doc/examples/spacewar/Debug.java | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |