etc/options

--- a/etc/options	Thu Jan 03 13:54:45 2013 +0100
+++ b/etc/options	Thu Jan 03 14:03:44 2013 +0100
@@ -53,8 +53,6 @@
   -- "level of parallel proof checking: 0, 1, 2"
 option parallel_proofs_threshold : int = 100
   -- "threshold for sub-proof parallelization"
-option ML_statistics : bool = false
-  -- "ML runtime statistics of parallel execution environment"
 
 
 section "Detail of Proof Recording"