src/HOL/Tools/quickcheck_record.ML

--- a/src/HOL/Tools/quickcheck_record.ML	Thu Aug 12 19:56:21 2010 +0200
+++ b/src/HOL/Tools/quickcheck_record.ML	Fri Aug 13 10:38:28 2010 +0200
@@ -7,6 +7,7 @@
 signature QUICKCHECK_RECORD =
 sig
   val ensure_random_typecopy: string -> theory -> theory
+  val setup: theory -> theory
 end;
 
 structure Quickcheck_Record : QUICKCHECK_RECORD =