diff --git a/src/default_printer.hpp b/src/default_printer.hpp
index 6ba3e2c..75668c0 100644
--- 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";