src/Pure/context.ML

--- a/src/Pure/context.ML	Wed Feb 15 19:11:10 2006 +0100
+++ b/src/Pure/context.ML	Wed Feb 15 21:34:55 2006 +0100
@@ -379,8 +379,8 @@
   else
     let
       val parents =
-        maximal_thys (gen_distinct eq_thy (map check_thy imports));
-      val ancestors = gen_distinct eq_thy (parents @ List.concat (map ancestors_of parents));
+        maximal_thys (distinct eq_thy (map check_thy imports));
+      val ancestors = distinct eq_thy (parents @ List.concat (map ancestors_of parents));
       val Theory ({id, ids, iids, ...}, data, _, _) =
         (case parents of
           [] => error "No parent theories"