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

Fixed some warnings

Browse Source 
As referenced in GitHub issue #83
This commit is contained in:
Phil Nash
2012-05-11 19:05:53 +01:00
parent 15140eacd7
commit 8d69208a58
4 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/reporters/catch_reporter_basic.hpp
View File

@@ -247,12 +247,12 @@ namespace Catch
m_config.stream() << resultInfo.getExpression();
if( resultInfo.ok() )
{
TextColour colour( TextColour::Success );
TextColour successColour( TextColour::Success );
m_config.stream() << " succeeded";
}
else
{
TextColour colour( TextColour::Error );
TextColour errorColour( TextColour::Error );
m_config.stream() << " failed";
}
}