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

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10921 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUISimulator.java | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 497edd2e..fa59531e 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -96,20 +96,20 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 	// Links to other parts of the GUI
 	private GUIMultiProperties guiProp;
 	private GUIMultiModel guiMultiModel;
-	
+
 	/** Underlying simulator */
 	private SimulatorEngine engine;
-	
+
 	// GUI components
 	private UpdateTableModel updateTableModel;
 	private GUISimulatorPathTableModel pathTableModel;
-	
+
 	// Menus/actions/etc.
 	private JMenu simulatorMenu;
 	private JPopupMenu pathPopupMenu;
 	private FileFilter textFilter;
 	private Action randomExploration, backtrack, backtrackToHere, removeToHere, newPath, newPathFromState, newPathPlot, newPathPlotFromState, resetPath,
-	exportPath, plotPath, configureView;
+			exportPath, plotPath, configureView;
 
 	//Current State
 	private boolean pathActive;
@@ -119,7 +119,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 
 	private Values lastConstants, lastPropertyConstants, lastInitialState;
 	private boolean computing;
-	
+
 	// Config/options
 	private boolean displayStyleFast;
 	private boolean displayPathLoops;