Merge pull request #490 from proux01/coq_17827

Adapt to Coq #17827
LPCIC · Aug 5, 2023 · 0ab62d5 · 0ab62d5
2 parents 38d0528 + 2d4c43a
commit 0ab62d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/coq_elpi_builtins.ml b/src/coq_elpi_builtins.ml
@@ -2923,7 +2923,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,([],[])),Notation_term.NtnTypeConstr)) :: vars in
+               (id, ((Notation_ops.constr_some_level,([],[])),Id.Set.empty,Notation_term.NtnTypeConstr)) :: vars in
              let env = EConstr.push_rel (Context.Rel.Declaration.LocalAssum(name,ty)) env in
              aux vars nenv env (n-1) t
          | _ ->