#
#
# patch "unit_tester.cc"
#  from [4316ae3e819115403a1f305e84c05291acc43b24]
#    to [f3307bbfccf9aa139b91d557d2f7cbd3d166480d]
#
============================================================
--- unit_tester.cc	4316ae3e819115403a1f305e84c05291acc43b24
+++ unit_tester.cc	f3307bbfccf9aa139b91d557d2f7cbd3d166480d
@@ -297,13 +297,13 @@ struct unit_tester_sanity : public sanit
 struct unit_tester_sanity : public sanity
 {
   void inform_log(std::string const &msg)
-  { cout << msg; }
+  { cout << msg << "\n"; }
   void inform_message(std::string const &msg)
-  { cout << msg; }
+  { cout << msg << "\n"; }
   void inform_warning(std::string const &msg)
-  { cerr << "warning: " << msg; }
+  { cerr << "warning: " << msg << "\n"; }
   void inform_error(std::string const &msg)
-  { cerr << "error: " << msg; }
+  { cerr << "error: " << msg << "\n"; }
 };
 unit_tester_sanity real_sanity;
 sanity & global_sanity = real_sanity;