123456789101112131415 |
- #include "src_location.h"
- #include <util/stream/output.h>
- 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;
- }
|