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