Fix extra newlines

plasma-umass · Jan 10, 2024 · 61825d2 · 61825d2
1 parent 2b00b5d
commit 61825d2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/cwhy/cwhy.py b/src/cwhy/cwhy.py
@@ -132,8 +132,8 @@ def main(args):
         print("==================================================")
         sys.exit(0)
 
-    print(process.stdout)
-    print(process.stderr, file=sys.stderr)
+    print(process.stdout, end="")
+    print(process.stderr, file=sys.stderr, end="")
     if "CWHY_DISABLE" not in os.environ:
         print("==================================================")
         print("CWhy")