# HG changeset patch
# User blanchet
# Date 1282719922 -7200
# Node ID e2d58749194b960af89bc9674c0f910672143168
# Parent  8b8ed80b569909ed4f127292246b4f62041ee895
make SML/NJ happy

diff -r 8b8ed80b5699 -r e2d58749194b src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Aug 25 09:02:07 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Aug 25 09:05:22 2010 +0200
@@ -256,7 +256,7 @@
 
 fun remote_config system_name system_versions proof_delims known_failures
                   default_max_relevant_per_iter default_theory_relevant
-                  use_conjecture_for_hypotheses =
+                  use_conjecture_for_hypotheses : prover_config =
   {exec = ("ISABELLE_ATP", "scripts/remote_atp"),
    required_execs = [],
    arguments = fn _ => fn timeout =>