one more declare dominates to declare precedence

diff --git a/docs/dist/doc/examples/telecom/Billing.java b/docs/dist/doc/examples/telecom/Billing.java
index c69ca758cda7162b1a53f77a02ba4c0519085600..a87d739985c8c2c0bdca4d5d5695e33ea88c24d3 100644 (file)
--- a/docs/dist/doc/examples/telecom/Billing.java
+++ b/docs/dist/doc/examples/telecom/Billing.java
@@ -30,7 +30,7 @@ package telecom;
  */
 public aspect Billing {
     // domination required to get advice on endtiming in the right order
-    declare dominates: Billing, Timing;
+    declare precedence: Billing, Timing;
 
     public static final long LOCAL_RATE = 3;
     public static final long LONG_DISTANCE_RATE = 10;