diff -r 30278eb9c9db -r a94ad372b2f5 src/HOL/Record.thy
--- a/src/HOL/Record.thy	Thu May 05 10:24:12 2011 +0200
+++ b/src/HOL/Record.thy	Thu May 05 10:47:31 2011 +0200
@@ -9,7 +9,7 @@
 header {* Extensible records with structural subtyping *}
 
 theory Record
-imports Plain Quickcheck
+imports Plain Quickcheck_Exhaustive
 uses ("Tools/record.ML")
 begin