diff --git a/prism-examples/tandem/tandem.sm b/prism-examples/tandem/tandem.sm index e8922287..9b68ea4a 100644 --- a/prism-examples/tandem/tandem.sm +++ b/prism-examples/tandem/tandem.sm @@ -33,8 +33,6 @@ module serverM endmodule // reward - number of customers in network -rewards - +rewards "customers" true : sc + sm; - endrewards