From 7997b0596dbddf9e4f836087387e82b859714818 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 29 Jan 2016 20:42:36 +0100
Subject: [PATCH] fixed brp (pMDP version) to also work with PRISM

Former-commit-id: 930a222a9e32a7d7dd8a4a5c30e5e4d3bad210cf
---
 examples/pmdp/brp/brp.pm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/pmdp/brp/brp.pm b/examples/pmdp/brp/brp.pm
index 65fbae497..2722cb0ee 100644
--- a/examples/pmdp/brp/brp.pm
+++ b/examples/pmdp/brp/brp.pm
@@ -14,8 +14,6 @@ const int MAX;
 const double pL;
 const double pK;
 
-global T : bool;
-
 module sender
 
 	s : [0..6];
@@ -104,6 +102,8 @@ module receiver
 endmodule
 	
 module checker
+
+	T : bool init false;
 	
 	[NewFile] (T=false) -> (T'=false);
 	[NewFile] (T=false) -> (T'=true);