1.1 --- a/src/Pure/Concurrent/simple_thread.ML	Thu Jul 30 23:50:11 2009 +0200
     1.2 +++ b/src/Pure/Concurrent/simple_thread.ML	Sat Aug 01 00:09:45 2009 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  
     1.5  fun fork interrupts body =
     1.6    Thread.fork (fn () => exception_trace (fn () => body ()),
     1.7 -    if interrupts then Multithreading.regular_interrupts else Multithreading.no_interrupts);
     1.8 +    if interrupts then Multithreading.public_interrupts else Multithreading.no_interrupts);
     1.9  
    1.10  fun interrupt thread = Thread.interrupt thread handle Thread _ => ();
    1.11