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; }