src/Pure/Tools/build.ML
changeset 52488 cd65ee49a8ba
parent 52487 48bc24467008
child 52710 52790e3961fe
     1.1 --- a/src/Pure/Tools/build.ML	Sun Jun 30 11:37:34 2013 +0200
     1.2 +++ b/src/Pure/Tools/build.ML	Sun Jun 30 12:30:02 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")