From ea8776eb40ec4e27cd28a304bf0a9abebc401bb7 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 1 Nov 2006 10:26:48 +0000
Subject: [PATCH] Changed default auto-parameter for simulator to "approx".

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@94 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/SimulationInformation.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/userinterface/SimulationInformation.java b/prism/src/userinterface/SimulationInformation.java
index 3a713d00..57265a9c 100644
--- a/prism/src/userinterface/SimulationInformation.java
+++ b/prism/src/userinterface/SimulationInformation.java
@@ -51,7 +51,7 @@ public class SimulationInformation
         this.noIterations = noIterations;
         this.maxPathLength = maxPathLength;
 
-		this.autoIndex = 0;
+		this.autoIndex = 1;
 		
 		this.distributed = false;
     }