1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jul 20 22:19:46 2012 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jul 20 22:19:46 2012 +0200
     1.3 @@ -218,7 +218,7 @@
     1.4        val max_local_and_remote =
     1.5          max_local_and_remote
     1.6          |> (if String.isPrefix remote_prefix prover then apsnd else apfst)
     1.7 -              (Integer.add ~1)
     1.8 +               (Integer.add ~1)
     1.9      in prover :: avoid_too_many_threads ctxt max_local_and_remote provers end
    1.10  
    1.11  val max_default_remote_threads = 4