search

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes
MIT License
95 stars 20 forks source link

Fix test #405

Closed SkySkimmer closed 9 months ago

SkySkimmer commented 9 months ago

Fixes #399

Since we dropped compatibility with Coq < 8.16, it is safe to remove the regexs altogether.

(copy of #400 for master branch)