Manual cherry-pick from #1111

This hsould merge still-valid piece of #1111 into master.
This commit is contained in:
Martin Hořeňovský 2017-12-09 20:17:47 +01:00
parent 0cf05d54a6
commit a7a9ee5552
8 changed files with 13 additions and 15 deletions

View file

@ -15,10 +15,6 @@
namespace Catch {
SourceLineInfo::SourceLineInfo( char const* _file, std::size_t _line ) noexcept
: file( _file ),
line( _line )
{}
bool SourceLineInfo::empty() const noexcept {
return file[0] == '\0';
}