From 37b6d72e7f7dc4174484a44665b67ccb28f51a1d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 26 Sep 2013 12:31:01 +0000
Subject: [PATCH] Code tidy

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

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index e807a649..983cec51 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -2167,9 +2167,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 				switch (column) {
 				case 0:
 					return "Module/[action]";
-				case 1: {
+				case 1:
 					return parsedModel == null ? "Probability" : parsedModel.getModelType().probabilityOrRate();
-				}
 				case 2:
 					return "Update";
 				default: