--- a/src/Tools/Code/code_thingol.ML Wed Dec 31 14:05:06 2014 +0100
+++ b/src/Tools/Code/code_thingol.ML Wed Dec 31 14:08:50 2014 +0100
@@ -926,10 +926,10 @@
val conn = [] |> fold (fn consts => cons (consts, succs consts)) constss;
fun namify consts = map (Code.string_of_const thy) consts
|> commas;
- val prgr = map (fn (consts, constss) =>
+ val graph = map (fn (consts, constss) =>
{ name = namify consts, ID = namify consts, dir = "", unfold = true,
path = "", parents = map namify constss, content = [] }) conn;
- in Graph_Display.display_graph prgr end;
+ in Graph_Display.display_graph graph end;
local