#include "src_location.h" #include <util/stream/output.h> #include <algorithm> template <> void Out<TSourceLocation>(IOutputStream& o, const TSourceLocation& t) { #if defined(_win_) TString file(t.File); std::replace(file.begin(), file.vend(), '\\', '/'); o << file; #else o << t.File; #endif o << ':' << t.Line; }