# HG changeset patch
# User wenzelm
# Date 1182288099 -7200
# Node ID 983cc1dfa6d0f84a4917125fa3154f8697b4225f
# Parent  26202f4e663dbc6b2a8ff44c74e79f1398be936a
oops -- fixed profiling;

diff -r 26202f4e663d -r 983cc1dfa6d0 src/Pure/Isar/toplevel.ML
--- a/src/Pure/Isar/toplevel.ML	Tue Jun 19 23:16:14 2007 +0200
+++ b/src/Pure/Isar/toplevel.ML	Tue Jun 19 23:21:39 2007 +0200
@@ -680,7 +680,7 @@
 
     val (result, opt_exn) =
        state |> (apply_trans int pos trans
-        |> (if ! profiling > 0 then do_profiling andalso not no_timing else I)
+        |> (if ! profiling > 0 andalso not no_timing then do_profiling else I)
         |> (if ! profiling > 0 orelse ! timing andalso not no_timing then do_timing else I));
     val _ =
       if int andalso not (! quiet) andalso exists (member (op =) print) ("" :: ! print_mode)