# HG changeset patch
# User haftmann
# Date 1257926557 -3600
# Node ID 5c0024338ceff4063eafd58621ec48dc9b14cc2e
# Parent  9b3c4e95380e920da49365e2b20c704e96bb967e
tuned imports

diff -r 9b3c4e95380e -r 5c0024338cef src/HOL/Nitpick.thy
--- a/src/HOL/Nitpick.thy	Wed Nov 11 09:02:20 2009 +0100
+++ b/src/HOL/Nitpick.thy	Wed Nov 11 09:02:37 2009 +0100
@@ -8,7 +8,7 @@
 header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *}
 
 theory Nitpick
-imports Map Quickcheck SAT
+imports Map SAT
 uses ("Tools/Nitpick/kodkod.ML")
      ("Tools/Nitpick/kodkod_sat.ML")
      ("Tools/Nitpick/nitpick_util.ML")