src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML
changeset 60924 610794dff23c
parent 60201 90e88e521e0e
child 62505 9e2a65912111
     1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML	Wed Aug 12 21:38:39 2015 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML	Thu Aug 13 11:05:19 2015 +0200
     1.3 @@ -192,7 +192,7 @@
     1.4      val used_facts =
     1.5        (case fact_ids of
     1.6          NONE => map fst used_from
     1.7 -      | SOME ids => sort_wrt fst (map (fst o snd) ids))
     1.8 +      | SOME ids => sort_by fst (map (fst o snd) ids))
     1.9      val outcome = Option.map failure_of_smt_failure outcome
    1.10  
    1.11      val (preferred_methss, message) =