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