NBA.print: add missing break in switch for 'lbtt' printing

8 years ago · 00127db634
1 changed files with 1 additions and 0 deletions
--- 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;