# HG changeset patch
# User wenzelm
# Date 1255645579 -7200
# Node ID c054b03c7881061d8b211954460a687e51a8abdc
# Parent  e52e6e5c0ca51f41c5c3f80191080bef39505bab
made SML/NJ happy;

diff -r e52e6e5c0ca5 -r c054b03c7881 src/HOL/Tools/ATP_Manager/atp_manager.ML
--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 15 23:51:22 2009 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Fri Oct 16 00:26:19 2009 +0200
@@ -90,7 +90,7 @@
   messages: string list,
   store: string list};
 
-fun make_state manager timeout_heap oldest_heap active cancelling messages store =
+fun make_state manager timeout_heap oldest_heap active cancelling messages store : state =
   {manager = manager, timeout_heap = timeout_heap, oldest_heap = oldest_heap,
     active = active, cancelling = cancelling, messages = messages, store = store};