diff --git a/prism/src/jltl2dstar/NBA.java b/prism/src/jltl2dstar/NBA.java
index 55c1472e..d884b1d9 100644
--- a/prism/src/jltl2dstar/NBA.java
+++ b/prism/src/jltl2dstar/NBA.java
@@ -265,6 +265,7 @@ public class NBA implements Iterable<NBA_State> {
 			break;
 		case "lbtt":
 			print_lbtt(out);
+			break;
 		case "hoa":
 			print_hoa(out);
 			break;