src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML
changeset 56132 64eeda68e693
parent 56093 4eeb73a1feec
child 56983 132142089ea6
     1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML	Fri Mar 14 11:52:03 2014 +0100
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML	Fri Mar 14 12:09:51 2014 +0100
     1.3 @@ -281,7 +281,7 @@
     1.4        proof_method_names @
     1.5        sort_strings (supported_atps thy) @
     1.6        sort_strings (SMT_Solver.available_solvers_of ctxt) @
     1.7 -      sort_strings (SMT2_Solver.available_solvers_of ctxt)
     1.8 +      sort_strings (SMT2_Config.available_solvers_of ctxt)
     1.9        |> List.partition (String.isPrefix remote_prefix)
    1.10    in
    1.11      Output.urgent_message ("Supported provers: " ^