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
 		}