# HG changeset patch
# User wenzelm
# Date 1459520404 -7200
# Node ID 0c526d2fb609a99f4e5c662b16799da96e419f33
# Parent  ce15dd971965141762ef8b20894b9d7fbbfde941
tuned whitespace;

diff -r ce15dd971965 -r 0c526d2fb609 etc/options
--- a/etc/options	Fri Apr 01 16:15:31 2016 +0200
+++ b/etc/options	Fri Apr 01 16:20:04 2016 +0200
@@ -68,6 +68,7 @@
   -- "level of tracing information for multithreading"
 option threads_stack_limit : real = 0.25
   -- "maximum stack size for worker threads (in giga words, 0 = unlimited)"
+
 public option parallel_print : bool = true
   -- "parallel and asynchronous printing of results"
 public option parallel_proofs : int = 2
@@ -175,4 +176,3 @@
 
 public option completion_limit : int = 40
   -- "limit for completion within the formal context"
-