--- a/src/HOL/Tools/Nitpick/nitpick_mono.ML Sun May 04 18:53:58 2014 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML Sun May 04 18:57:45 2014 +0200
@@ -574,7 +574,7 @@
(* use the first ML solver (to avoid startup overhead) *)
val (ml_solvers, nonml_solvers) =
SatSolver.get_solvers ()
- |> List.partition (member (op =) ["dptsat", "dpll_p"] o fst)
+ |> List.partition (member (op =) ["dptsat", "cdclite"] o fst)
val res =
if null nonml_solvers then
TimeLimit.timeLimit tac_timeout (snd (hd ml_solvers)) prop