src/Tools/quickcheck.ML

--- a/src/Tools/quickcheck.ML	Thu Jun 09 08:32:18 2011 +0200
+++ b/src/Tools/quickcheck.ML	Thu Jun 09 08:32:19 2011 +0200
@@ -38,6 +38,7 @@
       evaluation_terms : (term * term) list option,
       timings : (string * int) list,
       reports : (int * report) list}
+  val empty_result : result
   val counterexample_of : result -> (string * term) list option
   val timings_of : result -> (string * int) list
   (* registering generators *)