Closed ajpal closed 5 months ago
Follow up to https://github.com/egraphs-good/eggcc/pull/417, fixes the segfaults by passing args through
Follow up to https://github.com/egraphs-good/eggcc/pull/417, fixes the segfaults by passing args through