Code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7493 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 37b6d72e7f
1 changed files with 1 additions and 2 deletions
--- 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: