--- a/src/Pure/ML-Systems/multithreading.ML Fri Jul 24 23:36:37 2009 +0200
+++ b/src/Pure/ML-Systems/multithreading.ML Sat Jul 25 00:13:39 2009 +0200
@@ -15,6 +15,7 @@
include BASIC_MULTITHREADING
val trace: int ref
val tracing: int -> (unit -> string) -> unit
+ val tracing_time: Time.time -> (unit -> string) -> unit
val available: bool
val max_threads: int ref
val max_threads_value: unit -> int
@@ -35,6 +36,7 @@
val trace = ref (0: int);
fun tracing _ _ = ();
+fun tracing_time _ _ = ();
val available = false;
val max_threads = ref (1: int);