# HG changeset patch
# User blanchet
# Date 1279886855 -7200
# Node ID e557d511c791fcffc1b0a180ff310ff2cbbc2f28
# Parent  844977c7abebe212e974d9d8f7aeb92ed33ab5f6
fix polymorphic "val"

diff -r 844977c7abeb -r e557d511c791 src/HOL/Tools/ATP_Manager/async_manager.ML
--- a/src/HOL/Tools/ATP_Manager/async_manager.ML	Fri Jul 23 10:58:13 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/async_manager.ML	Fri Jul 23 14:07:35 2010 +0200
@@ -101,8 +101,8 @@
 
 (* This is a workaround for Proof General's off-by-a-few sendback display bug,
    whereby "pr" in "proof" is not highlighted. *)
-val break_into_chunks =
-  maps (space_explode "\000" o replace_all "\n\n" "\000" o snd)
+fun break_into_chunks xs =
+  maps (space_explode "\000" o replace_all "\n\n" "\000" o snd) xs
 
 fun print_new_messages () =
   case Synchronized.change_result global_state