Cosmetic changes as suggested by SkySkimmer.

1 files changed, 2 insertions, 5 deletions

diff --git a/tactics/class_tactics.ml b/tactics/class_tactics.ml
index 1fadc164bf..36544883aa 100644
--- a/tactics/class_tactics.ml
+++ b/tactics/class_tactics.ml
@@ -179,11 +179,8 @@ let unify_resolve_refine flags h diff =
     let ty = Retyping.get_type_of env sigma term in
     let sigma, cl = Clenv.make_evar_clause env sigma ?len ty in
     let term = applist (term, List.map (fun x -> x.hole_evar) cl.cl_holes) in
-    let sigma =
-      Evarconv.(unify_leq_delay
-                  ~flags:(default_flags_of flags.core_unify_flags.modulo_delta)
-                            env sigma cl.cl_concl concl)
-    in
+    let flags = Evarconv.default_flags_of flags.core_unify_flags.modulo_delta in
+    let sigma = Evarconv.unify_leq_delay ~flags env sigma cl.cl_concl concl in
     (sigma, term)
     end
   end