src/Pure/Concurrent/simple_thread.ML

--- a/src/Pure/Concurrent/simple_thread.ML	Wed Aug 12 13:56:46 2015 +0200
+++ b/src/Pure/Concurrent/simple_thread.ML	Wed Aug 12 21:38:39 2015 +0200
@@ -49,7 +49,7 @@
 type params = {name: string, stack_limit: int option, interrupts: bool};
 
 fun attributes ({stack_limit, interrupts, ...}: params) =
-  maximum_ml_stack stack_limit @
+  ML_Stack.limit stack_limit @
   (if interrupts then Multithreading.public_interrupts else Multithreading.no_interrupts);
 
 fun fork (params: params) body =