1.1 --- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Mon May 31 19:36:13 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Mon May 31 21:06:57 2010 +0200
     1.3 @@ -219,7 +219,7 @@
     1.4              then NONE
     1.5              else
     1.6                let
     1.7 -                val _ = List.app (SimpleThread.interrupt o #1) cancelling;
     1.8 +                val _ = List.app (Simple_Thread.interrupt o #1) cancelling;
     1.9                  val cancelling' = filter (Thread.isActive o #1) cancelling;
    1.10                  val state' = make_state manager timeout_heap' active cancelling' messages store;
    1.11                in SOME (map #2 timeout_threads, state') end