# HG changeset patch
# User blanchet
# Date 1304405552 -7200
# Node ID 1f45340b1e9197d9f739ff2beb83f03f6a45de76
# Parent  6099b85ae48edfb8451157e4ea49c44a02afc3fa
whitespace tuning

diff -r 6099b85ae48e -r 1f45340b1e91 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Tue May 03 08:52:16 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue May 03 08:52:32 2011 +0200
@@ -362,8 +362,8 @@
                       best_slices, best_type_systems, ...} : atp_config)
                     : atp_config =
   remote_config system_name system_versions proof_delims known_failures
-                hypothesis_kind formats
-                (int_average (snd o snd) o best_slices) best_type_systems
+                hypothesis_kind formats (int_average (snd o snd) o best_slices)
+                best_type_systems
 
 fun remote_atp name system_name system_versions proof_delims known_failures
                hypothesis_kind formats best_max_relevant best_type_systems =