Cosmetic changes as suggested by SkySkimmer.

1 files changed, 2 insertions, 3 deletions

diff --git a/tactics/hints.ml b/tactics/hints.ml
index e029e4628d..7b203c3d51 100644
--- a/tactics/hints.ml
+++ b/tactics/hints.ml
@@ -1608,13 +1608,12 @@ let connect_hint_clenv h gl =
     let emap c = Vars.subst_univs_level_constr subst c in
     let evd = Evd.merge_context_set Evd.univ_flexible evd ctx in
     (* Only metas are mentioning the old universes. *)
-    let clenv = {
+    {
       templval = Evd.map_fl emap clenv.templval;
       templtyp = Evd.map_fl emap clenv.templtyp;
       evd = Evd.map_metas emap evd;
       env = Proofview.Goal.env gl;
-    } in
-    clenv
+    }
   else
     let evd = Evd.merge_context_set Evd.univ_flexible evd ctx in
     { clenv with evd = evd ; env = Proofview.Goal.env gl }