changeset 37928 | 24785fa2416c |
parent 37704 | c6161bee8486 |
child 38123 | 36f649db4a6c |
--- a/src/HOL/Tools/Nitpick/nitpick.ML Wed Jul 21 21:15:49 2010 +0200 +++ b/src/HOL/Tools/Nitpick/nitpick.ML Wed Jul 21 21:16:58 2010 +0200 @@ -492,7 +492,6 @@ else 0 val settings = [("solver", commas_quote kodkod_sat_solver), - ("skolem_depth", "-1"), ("bit_width", string_of_int bit_width), ("symmetry_breaking", "20"), ("sharing", "3"),