From 95e0f432528a3707389c3662f7924e2b25fe79a9 Mon Sep 17 00:00:00 2001
From: sleepingAgain <4933013+sleepingAgain@users.noreply.github.com>
Date: Mon, 12 Feb 2018 16:55:40 +0000
Subject: [PATCH] Update DTMCModelGenerator.java

---
 src/demos/DTMCModelGenerator.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/demos/DTMCModelGenerator.java b/src/demos/DTMCModelGenerator.java
index 9ee492a..94e22dd 100644
--- a/src/demos/DTMCModelGenerator.java
+++ b/src/demos/DTMCModelGenerator.java
@@ -76,7 +76,7 @@ public void run()
 
 			// Create a model generator to specify the model that PRISM should build
 			// (in this case a simple random walk)
-			RandomWalk modelGen = new RandomWalk(5, 0.6);
+			RandomWalk modelGen = new RandomWalk(5, 0.5);
 			
 			// Load the model generator into PRISM,
 			// export the model to a dot file (which triggers its construction)