Fix typo in pretty-printing of orig<->opt permutation#142

Merged

hanno-becker merged 1 commit intoslothy-optimizer:mainfrom dop-amin:fix-typo

Jan 3, 2025

+1-1

Commits on Jan 3, 2025

Fix typo in pretty-printing of orig<->opt permutation

hanno-becker
authored and
dop-amin
committed