From a31218ac41f917377ed8e84a092f806c3b5fdd1e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 18 Feb 2010 16:10:18 +0000
Subject: [PATCH] Line endings.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1742 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/examples/pta/brp/brp.pctl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/prism/examples/pta/brp/brp.pctl b/prism/examples/pta/brp/brp.pctl
index 4601a307..44994b7e 100644
--- a/prism/examples/pta/brp/brp.pctl
+++ b/prism/examples/pta/brp/brp.pctl
@@ -17,5 +17,6 @@ P=? [ true U s=5 & srep=1 & i>8 ];
 
 // property 4
 P=? [ true U !(srep=0) & !recv ];
-// rewards
-R=? [ F "deadlock" ];
+
+// rewards
+R=? [ F "deadlock" ];