src/Pure/Thy/thy_load.ML
changeset 51332 8707df0b0255
parent 51331 e7fab0b5dbe7
child 51423 e5f9a6d9ca82
     1.1 --- a/src/Pure/Thy/thy_load.ML	Mon Mar 04 11:36:16 2013 +0100
     1.2 +++ b/src/Pure/Thy/thy_load.ML	Mon Mar 04 15:03:46 2013 +0100
     1.3 @@ -260,7 +260,7 @@
     1.4  
     1.5      fun present () =
     1.6        let
     1.7 -        val res = filter_out (Toplevel.is_ignored o #1) (flat (Future.joins results));
     1.8 +        val res = filter_out (Toplevel.is_ignored o #1) (maps Toplevel.join_results results);
     1.9          val ((minor, _), outer_syntax) = Outer_Syntax.get_syntax ();
    1.10        in
    1.11          Thy_Output.present_thy minor Keyword.command_tags