From 17440416ca082f5a2730f5a3df2d928da4daebfa Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 4 Jan 2016 17:02:22 +0000
Subject: [PATCH] NBA: Fix HOA output (--END-- marker was emitted per state)

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11104 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jltl2dstar/NBA.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/jltl2dstar/NBA.java b/prism/src/jltl2dstar/NBA.java
index 08dfa2b8..ba382ade 100644
--- a/prism/src/jltl2dstar/NBA.java
+++ b/prism/src/jltl2dstar/NBA.java
@@ -303,8 +303,8 @@ public class NBA implements Iterable<NBA_State> {
 					out.println(to);
 				}
 			}
-			out.println("--END--");
 		}
+		out.println("--END--");
 	}
 
 	// public void print_dot(std::ostream& out);