src/Pure/ML-Systems/multithreading.ML
changeset 32184 cfa0ef0c0c5f
parent 30612 cb6421b6a18f
child 32185 57ecfab3bcfe
--- 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);