search

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps
MIT License
41 stars 24 forks source link

Adapt to https://github.com/coq/coq/pull/19310 #119

Closed proux01 closed 4 months ago

proux01 commented 4 months ago

Adapt to https://github.com/coq/coq/pull/19310

This is backward compatible and can be merged without waiting.

proux01 commented 4 months ago

Thanks!