src/Tools/Code/code_thingol.ML

--- a/src/Tools/Code/code_thingol.ML	Wed Apr 15 22:27:31 2015 +0200
+++ b/src/Tools/Code/code_thingol.ML	Thu Apr 16 11:22:36 2015 +0200
@@ -946,7 +946,7 @@
     |> join_strong_conn
     |> Graph.dest
     |> map (fn ((c, cs), ds) => ((c, Graph_Display.content_node (namify cs) []), ds))
-    |> Graph_Display.display_graph
+    |> Graph_Display.display_graph_old
   end;
 
 local