src/HOL/Tools/ATP_Manager/atp_manager.ML
changeset 32954 c054b03c7881
parent 32948 e95a4be101a8
child 32995 304a841fd39c
     1.1 --- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 15 23:51:22 2009 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Fri Oct 16 00:26:19 2009 +0200
     1.3 @@ -90,7 +90,7 @@
     1.4    messages: string list,
     1.5    store: string list};
     1.6  
     1.7 -fun make_state manager timeout_heap oldest_heap active cancelling messages store =
     1.8 +fun make_state manager timeout_heap oldest_heap active cancelling messages store : state =
     1.9    {manager = manager, timeout_heap = timeout_heap, oldest_heap = oldest_heap,
    1.10      active = active, cancelling = cancelling, messages = messages, store = store};
    1.11