src/HOL/Tools/Sledgehammer/sledgehammer_mepo.ML

            facts hyp_ts
            (concl_t |> theory_constify fudge (Context.theory_name thy)))
   end
 
 (* Ad hoc score function roughly based on Blanchette's Ringberg 2011 data. *)
-fun weight_of_fact rank =
-  Math.pow (1.5, 15.5 - 0.05 * Real.fromInt rank) + 15.0
+fun weight_of_fact rank = Math.pow (1.5, 15.5 - 0.05 * Real.fromInt rank) + 15.0
 
 fun weight_mepo_facts facts =
   facts ~~ map weight_of_fact (0 upto length facts - 1)
 
 end;