--- 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};