src/Tools/Graphview/graph_file.scala
changeset 59462 c7eff4356885
parent 59460 3a357fef24e8
child 61176 9791f631c20d
--- 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)