--- a/python/graph.py	Mon Sep 02 17:40:21 2013 +0200
+++ b/python/graph.py	Wed Sep 04 17:35:06 2013 +0200
@@ -26,12 +26,12 @@
         
     def to_dot(self, f):
         """ Generate graphviz dot representation """
-        print('digraph G {', file=f)
+        #print('digraph G {', file=f)
         for node in self.nodes:
             print('{} [label="{}" shape=box3d];'.format(id(node), node), file=f)
         for n, m in self.edges:
             print('{} -> {};'.format(id(n), id(m)), file=f)
-        print('}', file=f)
+        #print('}', file=f)
 
 
 class Node: