src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Mon Oct 09 20:26:02 2017 +0200
+++ b/src/Pure/Tools/build.scala	Mon Oct 09 21:12:22 2017 +0200
@@ -198,7 +198,7 @@
       }
 
     private val graph_file = Isabelle_System.tmp_file("session_graph", "pdf")
-    isabelle.graphview.Graph_File.write(options, graph_file, deps(name).session_graph)
+    isabelle.graphview.Graph_File.write(options, graph_file, deps(name).session_graph_display)
 
     private val future_result: Future[Process_Result] =
       Future.thread("build") {