src/HOL/Nitpick.thy

--- a/src/HOL/Nitpick.thy	Wed Oct 31 11:23:21 2012 +0100
+++ b/src/HOL/Nitpick.thy	Wed Oct 31 11:23:21 2012 +0100
@@ -8,7 +8,7 @@
 header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *}
 
 theory Nitpick
-imports Map Quotient SAT Record
+imports Hilbert_Choice List Map Quotient Record Sledgehammer
 keywords "nitpick" :: diag and "nitpick_params" :: thy_decl
 begin