Tac2intern.intern_let_rec: don't pass unused argument ids

SkySkimmer · Oct 24, 2023 · f8c86dc · f8c86dc
1 parent 684781f
commit f8c86dc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/plugins/ltac2/tac2intern.ml b/plugins/ltac2/tac2intern.ml
@@ -1177,7 +1177,7 @@ let rec intern_rec env tycon {loc;v=e} =
         times in this matching")
   in
   let ids = List.fold_left fold Id.Set.empty el in
-  if is_rec then intern_let_rec env loc ids el tycon e
+  if is_rec then intern_let_rec env loc el tycon e
   else intern_let env loc ids el tycon e
 | CTacSyn (el, kn) ->
   let body = Tac2env.interp_notation kn in
@@ -1338,7 +1338,7 @@ and intern_let env loc ids el tycon e =
   let (e, t) = intern_rec env tycon e in
   (GTacLet (false, el, e), t)
 
-and intern_let_rec env loc ids el tycon e =
+and intern_let_rec env loc el tycon e =
   let map env (pat, t, e) =
     let na = match pat.v with
     | CPatVar na -> na