tried harder to make SML/NJ happy
authorblanchet
Sun Apr 22 14:16:46 2012 +0200 (2012-04-22)
changeset 47671ab44addc81e2
parent 47670 24babc4b1925
child 47672 1bf4fa90cd03
tried harder to make SML/NJ happy
src/HOL/Tools/ATP/atp_systems.ML
     1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Sun Apr 22 14:16:46 2012 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Sun Apr 22 14:16:46 2012 +0200
     1.3 @@ -595,8 +595,8 @@
     1.4  fun remote_atp name system_name system_versions proof_delims known_failures
     1.5                 conj_sym_kind prem_kind best_slice =
     1.6    (remote_prefix ^ name,
     1.7 -   K (remote_config system_name system_versions proof_delims known_failures
     1.8 -                    conj_sym_kind prem_kind best_slice))
     1.9 +   fn () => remote_config system_name system_versions proof_delims known_failures
    1.10 +                          conj_sym_kind prem_kind best_slice)
    1.11  fun remotify_atp (name, config) system_name system_versions best_slice =
    1.12    (remote_prefix ^ name,
    1.13     remotify_config system_name system_versions best_slice o config)