src/Tools/Code/code_thingol.ML
changeset 49561 26fc70e983c2
parent 48074 c6d514717d7b
child 50625 e3d25e751d05
--- a/src/Tools/Code/code_thingol.ML	Tue Sep 25 14:32:41 2012 +0200
+++ b/src/Tools/Code/code_thingol.ML	Tue Sep 25 15:40:41 2012 +0200
@@ -1045,8 +1045,8 @@
       |> commas;
     val prgr = map (fn (consts, constss) =>
       { name = namify consts, ID = namify consts, dir = "", unfold = true,
-        path = "", parents = map namify constss }) conn;
-  in Present.display_graph prgr end;
+        path = "", parents = map namify constss, content = [] }) conn;
+  in Graph_Display.display_graph prgr end;
 
 local