Bug fix in Dot export of DRA.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9093 bbc10eb1-c90d-0410-af57-cb519fbb1720
12 years ago · 2acff0caed
1 changed files with 1 additions and 0 deletions
--- a/prism/src/prism/DRA.java
+++ b/prism/src/prism/DRA.java
@ -229,6 +229,7 @@ public class DRA<Symbol>
 				out.println("	" + i + " -> " + e.dest + " [label=\"" + e.label + "\"]");
 			}
 		}
+		out.println("}");
 	}

 	// Standard methods