src/Pure/context.ML
changeset 19046 bc5c6c9b114e
parent 19028 6c238953f66c
child 19482 9f11af8f7ef9
     1.1 --- a/src/Pure/context.ML	Wed Feb 15 19:11:10 2006 +0100
     1.2 +++ b/src/Pure/context.ML	Wed Feb 15 21:34:55 2006 +0100
     1.3 @@ -379,8 +379,8 @@
     1.4    else
     1.5      let
     1.6        val parents =
     1.7 -        maximal_thys (gen_distinct eq_thy (map check_thy imports));
     1.8 -      val ancestors = gen_distinct eq_thy (parents @ List.concat (map ancestors_of parents));
     1.9 +        maximal_thys (distinct eq_thy (map check_thy imports));
    1.10 +      val ancestors = distinct eq_thy (parents @ List.concat (map ancestors_of parents));
    1.11        val Theory ({id, ids, iids, ...}, data, _, _) =
    1.12          (case parents of
    1.13            [] => error "No parent theories"