diff -r b8d0d8407c3b -r e8c5e95d338b src/HOL/Nitpick.thy
--- a/src/HOL/Nitpick.thy	Thu Nov 21 21:33:34 2013 +0100
+++ b/src/HOL/Nitpick.thy	Thu Nov 21 21:33:34 2013 +0100
@@ -8,7 +8,7 @@
 header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *}
 
 theory Nitpick
-imports Hilbert_Choice List Map Quotient Record Sledgehammer
+imports Map Record Sledgehammer
 keywords "nitpick" :: diag and "nitpick_params" :: thy_decl
 begin