src/Pure/context.ML
changeset 19482 9f11af8f7ef9
parent 19046 bc5c6c9b114e
child 19678 d1a15431de34
     1.1 --- a/src/Pure/context.ML	Thu Apr 27 12:11:56 2006 +0200
     1.2 +++ b/src/Pure/context.ML	Thu Apr 27 15:06:35 2006 +0200
     1.3 @@ -380,7 +380,7 @@
     1.4      let
     1.5        val parents =
     1.6          maximal_thys (distinct eq_thy (map check_thy imports));
     1.7 -      val ancestors = distinct eq_thy (parents @ List.concat (map ancestors_of parents));
     1.8 +      val ancestors = distinct eq_thy (parents @ maps ancestors_of parents);
     1.9        val Theory ({id, ids, iids, ...}, data, _, _) =
    1.10          (case parents of
    1.11            [] => error "No parent theories"