search

math-comp / hierarchy-builder

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

typo addd in tests #426

Closed affeldt-aist closed 2 months ago

affeldt-aist commented 2 months ago

propagate a typo fix to tests

attempts to address https://github.com/math-comp/hierarchy-builder/pull/425#issuecomment-2174959330

proux01 commented 2 months ago

@gares CI green here