From 1e820ec41aa21344598408c314d5110905034adb Mon Sep 17 00:00:00 2001
From: Gethin Norman <gethin.norman@glasgow.ac.uk>
Date: Wed, 21 Nov 2007 11:18:25 +0000
Subject: [PATCH] added reward structure

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@526 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism-examples/tandem/tandem.sm | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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