# # # patch "sanity.cc" # from [c727e0fe2a4eda4b541232b2c55a12b175e59900] # to [497508943a92b0bd5d169b64a7c844d1cefa9a68] # ============================================================ --- sanity.cc c727e0fe2a4eda4b541232b2c55a12b175e59900 +++ sanity.cc 497508943a92b0bd5d169b64a7c844d1cefa9a68 @@ -319,10 +319,12 @@ sanity::generic_failure(char const * exp throw std::logic_error("sanity::generic_failure occured " "before sanity::initialize"); + log(FL("Encountered an error while musing upon the following:"), + file, line); + gasp(); log(FL("%s:%d: detected %s error, '%s' violated") % file % line % origin::type_to_string(caused_by) % expr, file, line); - gasp(); string prefix; if (caused_by == origin::user)