# HG changeset patch
# User blanchet
# Date 1335097006 -7200
# Node ID ab44addc81e28eb66f22c8d4bb27e76cb2504ec6
# Parent  24babc4b1925c4dba2eac4a825082ce0160a1ae5
tried harder to make SML/NJ happy

diff -r 24babc4b1925 -r ab44addc81e2 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Sun Apr 22 14:16:46 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Sun Apr 22 14:16:46 2012 +0200
@@ -595,8 +595,8 @@
 fun remote_atp name system_name system_versions proof_delims known_failures
                conj_sym_kind prem_kind best_slice =
   (remote_prefix ^ name,
-   K (remote_config system_name system_versions proof_delims known_failures
-                    conj_sym_kind prem_kind best_slice))
+   fn () => remote_config system_name system_versions proof_delims known_failures
+                          conj_sym_kind prem_kind best_slice)
 fun remotify_atp (name, config) system_name system_versions best_slice =
   (remote_prefix ^ name,
    remotify_config system_name system_versions best_slice o config)