diff --git a/ir.py b/ir.py index af8bab4..5efb405 100644 --- a/ir.py +++ b/ir.py @@ -17,7 +17,7 @@ class Subst: def __str__(self) -> str: return repr(self) def __repr__(self) -> str: - return f'{self.variable}/{self.replacement}' + return f'{self.replacement}/{self.variable}' @dataclass(frozen=True) class IRProp: