src/HOL/Library/refute.ML
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