examples/CQL/WaiterTips.cql in activefacts-0.8.10 vs examples/CQL/WaiterTips.cql in activefacts-0.8.12

- old
+ new

@@ -26,8 +26,8 @@ Service earned a tip of at most one Amount; /* * Constraints: */ -Service (where Waiter served Meal) earned a tip of Amount +Service (in which Waiter served Meal) earned a tip of Amount if and only if Waiter for serving Meal reported a tip of Amount;