From de21d14f62466da3334cf65bd0fc6e4d3eda1b55 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 19 Apr 2011 11:14:31 +0000
Subject: [PATCH] Bugfix: -simpath switch did not use default max path length
 (assumed 0).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2806 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 09b993ec..19b156bb 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -221,6 +221,8 @@ public class PrismCL
 			// if requested, generate a random path with simulator (and then skip anything else)
 			if (simpath) {
 				try {
+					if (!simMaxPathGiven)
+						simMaxPath = prism.getSettings().getInteger(PrismSettings.SIMULATOR_DEFAULT_MAX_PATH);
 					File f = (simpathFilename.equals("stdout")) ? null : new File(simpathFilename);
 					prism.generateSimulationPath(modulesFile, simpathDetails, simMaxPath, f);
 				} catch (PrismException e) {