From e1a9e738b2ad9310746ee2333585a388067d9627 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Sat, 20 Jul 2024 23:08:30 +0200
Subject: [PATCH] Adapt to Coq PR #19404

---
 src/coq_elpi_builtins.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/coq_elpi_builtins.ml b/src/coq_elpi_builtins.ml
index 1162d041b..275f6c65d 100644
--- a/src/coq_elpi_builtins.ml
+++ b/src/coq_elpi_builtins.ml
@@ -3194,7 +3194,7 @@ Supported attributes:
                { nenv with Notation_term.ninterp_var_type =
                    Id.Map.add id (Notation_term.NtnInternTypeAny None)
                      nenv.Notation_term.ninterp_var_type },
-               (id, ((Notation_ops.constr_some_level,([],[])),Id.Set.empty,Notation_term.NtnTypeConstr)) :: vars in
+               (id, Notation_term.(NtnTypeVar (((Notation_ops.constr_some_level,([],[])),Id.Set.empty),NtnTypeVarConstr NtnConstrForConstrAndPatternForPattern))) :: vars in
              let env = EConstr.push_rel (Context.Rel.Declaration.LocalAssum(name,ty)) env in
              aux vars nenv env (n-1) t
          | _ ->
@@ -3205,7 +3205,7 @@ Supported attributes:
          let nenv =
            {
               Notation_term.ninterp_var_type = Id.Map.empty;
-              ninterp_rec_vars = Id.Map.empty;
+              ninterp_raw_types = [];
            } in
          aux vars nenv env nargs term
      in