src/Pure/ML-Systems/multithreading.ML
changeset 28554 a6065ce44984
parent 28460 455ef74607d7
child 29564 f8b933a62151
--- a/src/Pure/ML-Systems/multithreading.ML	Thu Oct 09 20:53:22 2008 +0200
+++ b/src/Pure/ML-Systems/multithreading.ML	Thu Oct 09 20:53:23 2008 +0200
@@ -19,6 +19,7 @@
   val available: bool
   val max_threads: int ref
   val max_threads_value: unit -> int
+  val enabled: unit -> bool
   val no_interrupts: Thread.threadAttribute list
   val regular_interrupts: Thread.threadAttribute list
   val with_attributes: Thread.threadAttribute list ->
@@ -38,6 +39,7 @@
 val available = false;
 val max_threads = ref (1: int);
 fun max_threads_value () = 1: int;
+fun enabled () = false;
 
 val no_interrupts =
   [Thread.EnableBroadcastInterrupt false, Thread.InterruptState Thread.InterruptDefer];