src/Pure/Tools/build.ML
changeset 52710 52790e3961fe
parent 52488 cd65ee49a8ba
child 52852 08ecbffaf25c
--- a/src/Pure/Tools/build.ML	Fri Jul 19 17:35:12 2013 +0200
+++ b/src/Pure/Tools/build.ML	Fri Jul 19 17:58:57 2013 +0200
@@ -109,7 +109,6 @@
     |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads")
     |> Unsynchronized.setmp Future.ML_statistics true
     |> no_document options ? Present.no_document
-    |> Unsynchronized.setmp Goal.skip_proofs (Options.bool options "skip_proofs")
     |> Unsynchronized.setmp Pretty.margin_default (Options.int options "pretty_margin")
     |> Unsynchronized.setmp Toplevel.timing (Options.bool options "timing");