From 4eb539d78c7e182e6f802d0edf4ea157cd62a94c Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 22 Mar 2018 11:06:58 +0100
Subject: [PATCH] SimpleLTL.simplified: Don't use fall-through in switch
 statement

---
 prism/src/jltl2ba/SimpleLTL.java | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

diff --git a/prism/src/jltl2ba/SimpleLTL.java b/prism/src/jltl2ba/SimpleLTL.java
index 37a5f92f..2ab17883 100644
--- a/prism/src/jltl2ba/SimpleLTL.java
+++ b/prism/src/jltl2ba/SimpleLTL.java
@@ -217,10 +217,25 @@ public class SimpleLTL {
 		SimpleLTL rv = this;
 		
 		switch (kind) {
-		case AND: case OR: case IMPLIES: case EQUIV: case UNTIL: case RELEASE:
+		case AND:
+		case OR:
+		case IMPLIES:
+		case EQUIV:
+		case UNTIL:
+		case RELEASE:
 			right = right.simplified();
-		case NOT: case NEXT: case FINALLY: case GLOBALLY:
 			left = left.simplified();
+			break;
+
+		case NOT:
+		case NEXT:
+		case FINALLY:
+		case GLOBALLY:
+			left = left.simplified();
+			break;
+
+		default:
+			// do nothing
 		}
 
 		switch (kind) {