1.1 --- a/src/Pure/System/build.ML	Tue Jul 24 10:43:13 2012 +0200
     1.2 +++ b/src/Pure/System/build.ML	Tue Jul 24 10:44:36 2012 +0200
     1.3 @@ -49,7 +49,7 @@
     1.4          ""
     1.5          verbose;
     1.6  
     1.7 -    val _ = List.app (uncurry (use_theories |> Session.with_timing name timing)) theories;
     1.8 +    val _ = Session.with_timing name timing (List.app (uncurry use_theories)) theories;
     1.9      val _ = Session.finish ();
    1.10  
    1.11      val _ = if save then () else quit ();