--- a/src/Tools/Graphview/graph_file.scala Wed Jan 28 19:23:03 2015 +0100
+++ b/src/Tools/Graphview/graph_file.scala Wed Jan 28 19:25:19 2015 +0100
@@ -37,10 +37,9 @@
def write(options: Options, file: JFile, graph: Graph_Display.Graph)
{
- val model = new Model(graph.transitive_reduction_acyclic)
-
val the_options = options
- val graphview = new Graphview(model) { def options = the_options }
+ val graphview =
+ new Graphview(graph.transitive_reduction_acyclic) { def options = the_options }
graphview.update_layout()
write(file, graphview)