From 9f5d37ffa365557f128a6657707b0abe88584180 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 18 Nov 2010 14:55:20 +0000
Subject: [PATCH] Bugfix: simulatino for experiments was disabled.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2254 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/SimulatorEngine.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index 4d352907..4b12c3f1 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -1284,8 +1284,7 @@ public class SimulatorEngine
 
 		// as long as there are at least some valid props, do sampling
 		if (validPropsCount > 0) {
-			initialisePath(initialState);
-			//doSampling(noIterations, maxPathLength);
+			doSampling(initialState, noIterations, maxPathLength);
 		}
 
 		// process the results