src/Tools/quickcheck.ML

--- a/src/Tools/quickcheck.ML	Sun Mar 20 21:20:07 2011 +0100
+++ b/src/Tools/quickcheck.ML	Sun Mar 20 21:28:11 2011 +0100
@@ -167,11 +167,11 @@
     val frees = Term.add_frees t [];
   in (frees, list_abs_free (frees, t)) end
 
-fun cpu_time description f =
+fun cpu_time description f =  (* FIXME !? *)
   let
-    val start = start_timing ()
+    val start = Timing.start ()
     val result = Exn.capture f ()
-    val time = Time.toMilliseconds (#cpu (end_timing start))
+    val time = Time.toMilliseconds (#cpu (Timing.result start))
   in (Exn.release result, (description, time)) end
 
 fun limit ctxt (limit_time, is_interactive) f exc () =