etc/options

--- a/etc/options	Tue Jul 24 10:39:03 2012 +0200
+++ b/etc/options	Tue Jul 24 10:43:13 2012 +0200
@@ -8,7 +8,7 @@
 declare document_dump : string = ""
 declare no_document : bool = false
 
-declare threads_limit : int = 1
+declare threads : int = 1
 declare threads_trace : int = 0
 declare parallel_proofs : int = 1
 declare parallel_proofs_threshold : int = 100