changeset 56147 | 9589605bcf41 |
parent 55891 | d1a9b07783ab |
child 56243 | 2e10a36b8d46 |
--- a/src/HOL/Library/refute.ML Fri Mar 14 15:41:29 2014 +0100 +++ b/src/HOL/Library/refute.ML Fri Mar 14 16:54:01 2014 +0100 @@ -1073,7 +1073,7 @@ handle Option.Option => error ("Unknown SAT solver: " ^ quote satsolver ^ ". Available solvers: " ^ - commas (map (quote o fst) (!SatSolver.solvers)) ^ ".") + commas (map (quote o fst) (SatSolver.get_solvers ())) ^ ".") in Output.urgent_message "Invoking SAT solver..."; (case solver fm of