# HG changeset patch
# User wenzelm
# Date 1085167128 -7200
# Node ID d747c32e85e12892ef83919c99b5c3cc3b432cf2
# Parent  556d9cc7371170bacd978987513257ee44880607
Graph.minimals;

diff -r 556d9cc73711 -r d747c32e85e1 src/Pure/Thy/thy_info.ML
--- a/src/Pure/Thy/thy_info.ML	Fri May 21 21:18:35 2004 +0200
+++ b/src/Pure/Thy/thy_info.ML	Fri May 21 21:18:48 2004 +0200
@@ -124,7 +124,7 @@
 (*theory names in topological order*)
 fun get_names () =
   let val G = get_thys ()
-  in Graph.all_succs G (filter (Library.null o Graph.imm_preds G) (Graph.keys G)) end;
+  in Graph.all_succs G (Graph.minimals G) end;
 
 
 (* access thy *)