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 failure #427

Closed proux01 closed 2 months ago

proux01 commented 2 months ago

@gares this should fix the failure of hb_test in Coq CI

affeldt-aist commented 2 months ago

Isn't it the same as https://github.com/math-comp/hierarchy-builder/pull/426 ?

proux01 commented 2 months ago

Yes, indeed, I missed it