src/Pure/Tools/build.ML
changeset 52470 dedd7952a62c
parent 52104 250cd2a9308d
child 52487 48bc24467008
     1.1 --- a/src/Pure/Tools/build.ML	Thu Jun 27 20:09:39 2013 +0200
     1.2 +++ b/src/Pure/Tools/build.ML	Thu Jun 27 23:17:26 2013 +0200
     1.3 @@ -102,7 +102,6 @@
     1.4  
     1.5  fun use_theories last_timing options =
     1.6    Thy_Info.use_theories {last_timing = last_timing, master_dir = Path.current}
     1.7 -    |> Unsynchronized.setmp Proofterm.proofs (Options.int options "proofs")
     1.8      |> Unsynchronized.setmp print_mode
     1.9          (space_explode "," (Options.string options "print_mode") @ print_mode_value ())
    1.10      |> Unsynchronized.setmp Goal.parallel_proofs (Options.int options "parallel_proofs")