src/HOL/Nitpick.thy

--- a/src/HOL/Nitpick.thy	Mon Jan 20 19:53:10 2014 +0100
+++ b/src/HOL/Nitpick.thy	Mon Jan 20 20:00:33 2014 +0100
@@ -8,7 +8,7 @@
 header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *}
 
 theory Nitpick
-imports Map Record Sledgehammer Wfrec
+imports BNF_FP_Base Map Record Sledgehammer
 keywords "nitpick" :: diag and "nitpick_params" :: thy_decl
 begin