Closed dwrensha closed 10 hours ago
Fixes broken build from https://github.com/teorth/equational_theories/commit/ba0ed0fdf11b35b51576657371ce32e36b6736aa
Fixes broken build from https://github.com/teorth/equational_theories/commit/ba0ed0fdf11b35b51576657371ce32e36b6736aa