From 6134b46557d4bba571f9a9ef0ea846b45f015a87 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Wed, 19 Jun 2013 22:55:31 +0200
Subject: [PATCH] Backend DOT graph generation: Removing redundant ';' which
 seems to confuse more recent versions of Graphviz (>2.26)

---
 src/dotout.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dotout.c b/src/dotout.c
index 5f82f4f..811955b 100644
--- a/src/dotout.c
+++ b/src/dotout.c
@@ -1843,5 +1843,5 @@ dotSemiState (const System mysys)
   free (ranks);			// ranks
 
   // close graph
-  eprintf ("};\n\n");
+  eprintf ("}\n\n");
 }