Fix build on main due to conflicting PRs

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Fix build on main due to conflicting PRs #361

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

I merged #354 with a successful CI build, but at the same time we merged some new tests in the egglog typechecker. This PR fixes the resulting conflicts.