src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 35388 42d39948cace
parent 35333 f61de25f71f9
child 35866 513074557e06
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Feb 26 16:50:09 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Feb 26 18:38:23 2010 +0100
     1.3 @@ -19,9 +19,7 @@
     1.4  open Nitpick_Nut
     1.5  open Nitpick_Kodkod
     1.6  
     1.7 -val settings =
     1.8 -  [("solver", "\"zChaff\""),
     1.9 -   ("skolem_depth", "-1")]
    1.10 +val settings = [("solver", "\"DefaultSAT4J\"")]
    1.11  
    1.12  fun cast_to_rep R u = Op1 (Cast, type_of u, R, u)
    1.13