3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-10-31 04:07:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixed typo in CLI error reporting

Browse Source
This commit is contained in:
Martin Hořeňovský
2017-02-12 13:50:15 +01:00
parent b2a6fe971b
commit 50dee9ae57
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
include/internal/catch_commandline.hpp
View File

@@ -51,7 +51,7 @@ namespace Catch {
ss << seed;
ss >> config.rngSeed;
if( ss.fail() )
throw std::runtime_error( "Argment to --rng-seed should be the word 'time' or a number" );
throw std::runtime_error( "Argument to --rng-seed should be the word 'time' or a number" );
}
}
inline void setVerbosity( ConfigData& config, int level ) {