diff options
Diffstat (limited to 'tools/standalone_miri/debug.cpp')
| -rw-r--r-- | tools/standalone_miri/debug.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/standalone_miri/debug.cpp b/tools/standalone_miri/debug.cpp index 503d775a..d2cfb63e 100644 --- a/tools/standalone_miri/debug.cpp +++ b/tools/standalone_miri/debug.cpp @@ -35,7 +35,7 @@ DebugSink DebugSink::get(const char* fcn_name, const char* file, unsigned line, ::std::cout << "FATAL: "; break; case DebugLevel::Bug: - ::std::cout << "BUG: " << fcn_name << ": "; + ::std::cout << "BUG: " << file << ":" << line << ": "; break; } return DebugSink(::std::cout); |