From 00127db634b96245119f64799cc9c9ba604a5c24 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 22 Mar 2018 11:06:56 +0100
Subject: [PATCH] NBA.print: add missing break in switch for 'lbtt' printing

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

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;