stop printing extra newline after failed tests

Change-Id: I864316b3b26525a67af3263e884dd2d3e462cc33
oliverlee · Dec 24, 2023 · 10a6133 · 10a6133
1 parent 26bfa1b
commit 10a6133
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/default_printer.hpp b/src/default_printer.hpp
@@ -129,7 +129,6 @@ class default_printer
       *this << r.relation;
       os_ << "\n";
       display(os_, r.msg);
-      os_ << "\n";
     }
 
     os_ << "\n";