core: always print unregistered ops

xdslproject · Oct 15, 2024 · 9254b45 · 9254b45
1 parent a7d8ebe
commit 9254b45
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/xdsl/printer.py b/xdsl/printer.py
@@ -356,7 +356,9 @@ def print_block(
 
         with self.indented():
             for op in block.ops:
-                if not print_block_terminator and op.has_trait(IsTerminator):
+                if not print_block_terminator and op.has_trait(
+                    IsTerminator, value_if_unregistered=False
+                ):
                     continue
                 self._print_new_line()
                 self.print_op(op)