From 48204d0063d825c63d364f7d004287c07ae62d3f Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 22 Mar 2018 11:07:00 +0100
Subject: [PATCH] (cleanup) StateValuesMTBDD.getBDDFromInterval: add break in
 switch

---
 prism/src/prism/StateValuesMTBDD.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/prism/StateValuesMTBDD.java b/prism/src/prism/StateValuesMTBDD.java
index b02686c9..65c58488 100644
--- a/prism/src/prism/StateValuesMTBDD.java
+++ b/prism/src/prism/StateValuesMTBDD.java
@@ -507,6 +507,7 @@ public class StateValuesMTBDD implements StateValues
 			break;
 		case LT:
 			sol = JDD.LessThan(values, bound);
+			break;
 		default:
 			// Don't handle
 		}