# HG changeset patch
# User wenzelm
# Date 1222950165 -7200
# Node ID 455ef74607d7f342189acd30e8979f4f1b633a6a
# Parent  f6a4d913cfb17e699a600a586860bff3aff5119b
max_threads_value always 1 for dummy version;

diff -r f6a4d913cfb1 -r 455ef74607d7 src/Pure/ML-Systems/multithreading.ML
--- a/src/Pure/ML-Systems/multithreading.ML	Thu Oct 02 14:22:44 2008 +0200
+++ b/src/Pure/ML-Systems/multithreading.ML	Thu Oct 02 14:22:45 2008 +0200
@@ -37,7 +37,7 @@
 
 val available = false;
 val max_threads = ref (1: int);
-fun max_threads_value () = Int.max (! max_threads, 1);
+fun max_threads_value () = 1: int;
 
 val no_interrupts =
   [Thread.EnableBroadcastInterrupt false, Thread.InterruptState Thread.InterruptDefer];