# HG changeset patch
# User blanchet
# Date 1390244433 -3600
# Node ID e60036c1c248500373a9cc14b0f00c2cd031ba3f
# Parent  45c457a6b9873352fd4ea9a4ca5c14a6fee9b475
compile

diff -r 45c457a6b987 -r e60036c1c248 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