Line endings.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1742 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · a31218ac41
1 changed files with 3 additions and 2 deletions
--- 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" ];