src/Pure/Isar/outer_syntax.ML
changeset 8999 ad8260dc6e4a
parent 8807 0046be1769f9
child 9033 f12d8ea8618b
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Tue May 30 16:02:56 2000 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Tue May 30 16:03:09 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 Goals.proof_timing true (run_thy name) path;
     1.8 +      setmp Library.timing true (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);