src/Pure/Isar/outer_syntax.ML
changeset 9036 d9e09ef531dd
parent 9033 f12d8ea8618b
child 9056 8f78b2aea39e
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Sun Jun 04 19:39:29 2000 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Sun Jun 04 21:54:58 2000 +0200
     1.3 @@ -443,7 +443,7 @@
     1.4   (if time then
     1.5      timeit (fn () =>
     1.6       (writeln ("\n**** Starting theory " ^ quote name ^ " ****");
     1.7 -      setmp Library.timing true (run_thy name) path;
     1.8 +      run_thy name path;
     1.9        writeln ("**** Finished theory " ^ quote name ^ " ****\n")))
    1.10    else run_thy name path;
    1.11    Context.context (ThyInfo.get_theory name);