diff -r 4f72b00d9952 -r 83de10e27007 src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Thu May 07 21:30:52 2015 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Thu May 07 22:12:05 2015 +0200
@@ -794,7 +794,7 @@
         Locale.pretty_locale_deps thy
         |> map (fn {name, parents, body} =>
           ((name, Graph_Display.content_node (Locale.extern thy name) [body]), parents))
-        |> Graph_Display.display_graph))));
+        |> Graph_Display.display_graph_old))));
 
 val _ =
   Outer_Syntax.command @{command_keyword print_term_bindings}