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

@@ -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) {