etc/options
changeset 48460 20170ae271a5
parent 48459 375e45df6fdf
child 48463 07f752935ece
     1.1 --- a/etc/options	Tue Jul 24 10:39:03 2012 +0200
     1.2 +++ b/etc/options	Tue Jul 24 10:43:13 2012 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  declare document_dump : string = ""
     1.5  declare no_document : bool = false
     1.6  
     1.7 -declare threads_limit : int = 1
     1.8 +declare threads : int = 1
     1.9  declare threads_trace : int = 0
    1.10  declare parallel_proofs : int = 1
    1.11  declare parallel_proofs_threshold : int = 100