Apply suggestion from @math-fehr

math-fehr · web-flow · commit 21a9f3f97892 · 2026-01-12T19:57:30.000+01:00
diff --git a/xdsl_smt/dialects/smt_floatingpoint_dialect.py b/xdsl_smt/dialects/smt_floatingpoint_dialect.py
@@ -57,7 +57,7 @@ def __init__(self):
         super().__init__()
 
     def print_sort_to_smtlib(self, stream: IO[str]) -> None:
-        print(f"RoundingMode")
+        print(f"RoundingMode", file=stream, end="")
 
 
 class RunningModeConstantOp(IRDLOperation, Pure, SMTLibOp):
