# HG changeset patch
# User wenzelm
# Date 1398462459 -7200
# Node ID 6ca87a061740503b6f5bf9ab124d24ce40962728
# Parent  f7700146678d95986d5bd947a4234d212bbd108b
suppress potential dangerous option (see 1baa5d19ac44);

diff -r f7700146678d -r 6ca87a061740 etc/options
--- a/etc/options	Fri Apr 25 23:42:25 2014 +0200
+++ b/etc/options	Fri Apr 25 23:47:39 2014 +0200
@@ -67,7 +67,7 @@
 
 public option threads : int = 0
   -- "maximum number of worker threads for prover process (0 = hardware max.)"
-public option threads_trace : int = 0
+option threads_trace : int = 0
   -- "level of tracing information for multithreading"
 public option parallel_proofs : int = 2
   -- "level of parallel proof checking: 0, 1, 2"