#
#
# patch "sanity.cc"
#  from [497508943a92b0bd5d169b64a7c844d1cefa9a68]
#    to [40cbfb6afc3df127fbf6c109e0e7aa4075ad2df2]
#
============================================================
--- sanity.cc	497508943a92b0bd5d169b64a7c844d1cefa9a68
+++ sanity.cc	40cbfb6afc3df127fbf6c109e0e7aa4075ad2df2
@@ -335,10 +335,8 @@ sanity::generic_failure(char const * exp
     {
       prefix = _("error: ");
     }
-  string detection_msg((F("detected at %s:%d") % file % line).str());
   string message;
-  prefix_lines_with(prefix, detection_msg + string("\n") +
-                    do_format(explain, file, line), message);
+  prefix_lines_with(prefix, do_format(explain, file, line), message);
   switch (caused_by)
     {
     case origin::database: