# HG changeset patch
# User wenzelm
# Date 1420541937 -3600
# Node ID 9089639ba348dc9f09e56ef7cf257db3383ec6ec
# Parent  002d817b4c377152c9080ef743191c20e8a9f3c1
tuned;

diff -r 002d817b4c37 -r 9089639ba348 src/Pure/Tools/class_deps.ML
--- a/src/Pure/Tools/class_deps.ML	Mon Jan 05 18:39:32 2015 +0100
+++ b/src/Pure/Tools/class_deps.ML	Tue Jan 06 11:58:57 2015 +0100
@@ -13,7 +13,7 @@
 structure Class_Deps: CLASS_DEPS =
 struct
 
-fun gen_visualize prep_sort ctxt raw_super raw_sub =
+fun gen_class_deps prep_sort ctxt raw_super raw_sub =
   let
     val thy = Proof_Context.theory_of ctxt;
     val super = prep_sort ctxt raw_super;
@@ -36,8 +36,8 @@
     |> Graph_Display.display_graph
   end;
 
-val class_deps = gen_visualize (Type.cert_sort o Proof_Context.tsig_of);
-val class_deps_cmd = gen_visualize Syntax.read_sort;
+val class_deps = gen_class_deps (Type.cert_sort o Proof_Context.tsig_of);
+val class_deps_cmd = gen_class_deps Syntax.read_sort;
 
 val _ =
   Outer_Syntax.command @{command_spec "class_deps"} "visualize class dependencies"