From 2acff0caedd833e96f0bf6bea9fab80021550be1 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 18 Aug 2014 10:43:39 +0000
Subject: [PATCH] Bug fix in Dot export of DRA.

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

diff --git a/prism/src/prism/DRA.java b/prism/src/prism/DRA.java
index 9f1a2259..5a65fa75 100644
--- 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