src/HOL/Tools/Sledgehammer/sledgehammer_fact_minimizer.ML

--- a/src/HOL/Tools/Sledgehammer/sledgehammer_fact_minimizer.ML	Sat May 01 20:49:39 2010 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_fact_minimizer.ML	Sat May 01 21:29:03 2010 +0200
@@ -62,7 +62,8 @@
       filtered_clauses = SOME (the_default axclauses filtered_clauses)}
   in
     prover params (K "") timeout problem
-    |> tap (priority o string_for_outcome o #outcome)
+    |> tap (fn result : prover_result =>
+         priority (string_for_outcome (#outcome result)))
   end
 
 (* minimalization of thms *)