Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tried harder to make SML/NJ happy
authorblanchet
Sun, 22 Apr 2012 14:16:46 +0200
changeset 47671 ab44addc81e2
parent 47670 24babc4b1925
child 47672 1bf4fa90cd03
tried harder to make SML/NJ happy
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- 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)
isabelle