diff --git a/generator/analysis/common.py b/generator/analysis/common.py
index 70bf1feff10ca5c58a68d3191ec92c86ca00721f..54035936c3a455ca9fc197d4be7a689df02e5857 100644
--- a/generator/analysis/common.py
+++ b/generator/analysis/common.py
@@ -215,7 +215,10 @@ class Edge:
     def dump_as_dot(self, within={}):
         ret = ""
         attrs = {
-            "minlen": 3,
+            # omit minlen parameter, since it causes dot to crash (without an
+            # error message) for some larger graphs. The parameter would cause
+            # graphs to look nicer due to the minimum distance between nodes.
+            # "minlen": 3,
             "label": '"' + str(self.label) + '"',
             "color":self.color,
         }