Use `Ltac2.Array.make 0` instead of `Array.empty` for compat (coq/coq#17534) - Githubissues

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

41 stars 24 forks source link

Use `Ltac2.Array.make 0` instead of `Array.empty` for compat (coq/coq#17534) #107

Closed SkySkimmer closed 11 months ago

SkySkimmer commented 11 months ago

Please bump submodules in bedrock etc too