# HG changeset patch
# User blanchet
# Date 1258462276 -3600
# Node ID 0c0e7b2ecf2ebcfd8f11eb09fcb5d018572a07cd
# Parent  0b0a7f8e1724e7d60620912b3501d605faf7dfaf
use SAT solver that's available everywhere for this example

diff -r 0b0a7f8e1724 -r 0c0e7b2ecf2e src/HOL/Nitpick_Examples/Refute_Nits.thy
--- a/src/HOL/Nitpick_Examples/Refute_Nits.thy	Tue Nov 17 13:50:46 2009 +0100
+++ b/src/HOL/Nitpick_Examples/Refute_Nits.thy	Tue Nov 17 13:51:16 2009 +0100
@@ -17,7 +17,7 @@
 nitpick [expect = genuine] 2
 nitpick [expect = genuine]
 nitpick [card = 5, expect = genuine]
-nitpick [sat_solver = MiniSat, expect = genuine] 2
+nitpick [sat_solver = SAT4J, expect = genuine] 2
 oops
 
 subsection {* Examples and Test Cases *}