From 7557171b8215847a649ea153cb74f4a52e214b16 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 22 Nov 2015 01:41:01 +0000
Subject: [PATCH] Auto-format.

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

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index 67cacb44..5f8f20ec 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -110,7 +110,7 @@ public class SimulatorEngine extends PrismComponent
 	private List<State> reachableStates;
 	// Strategy
 	private Strategy strategy;
-	
+
 	// Labels + properties info
 	protected List<Expression> labels;
 	private List<Expression> properties;
@@ -490,7 +490,7 @@ public class SimulatorEngine extends PrismComponent
 	{
 		this.reachableStates = reachableStates;
 	}
-	
+
 	/**
 	 * Load a strategy for the currently loaded model into the simulator.
 	 */
@@ -498,7 +498,7 @@ public class SimulatorEngine extends PrismComponent
 	{
 		this.strategy = strategy;
 	}
-	
+
 	/**
 	 * Construct a path through a model to match a supplied path,
 	 * specified as a PathFullInfo object.
@@ -726,7 +726,7 @@ public class SimulatorEngine extends PrismComponent
 
 		// Clear storage for strategy
 		strategy = null;
-		
+
 		// Create storage for labels/properties
 		labels = new ArrayList<Expression>();
 		properties = new ArrayList<Expression>();
@@ -862,7 +862,7 @@ public class SimulatorEngine extends PrismComponent
 			strategy.initialise(s);
 		}
 	}
-	
+
 	/**
 	 * Update the state of the loaded strategy, if present, based on the last step that occurred.
 	 */
@@ -875,7 +875,7 @@ public class SimulatorEngine extends PrismComponent
 			strategy.update(action, s);
 		}
 	}
-	
+
 	// ------------------------------------------------------------------------------
 	// Queries regarding model
 	// ------------------------------------------------------------------------------