Skip to content

restores compilation after UniMath PR1829#242

Merged
benediktahrens merged 1 commit intoUniMath:masterfrom rmatthes:followupstreamPR1829Jan 30, 2024

Commits