From 63a8017ba7dd11ab585c50d6be1c100ccd286a2c Mon Sep 17 00:00:00 2001
From: Phil Nash <github@philnash.me>
Date: Thu, 29 Jun 2017 14:27:42 +0100
Subject: [PATCH] Minor session tweaks

---
 include/catch_session.hpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/include/catch_session.hpp b/include/catch_session.hpp
index ffd87c9d..42080cd1 100644
--- a/include/catch_session.hpp
+++ b/include/catch_session.hpp
@@ -18,7 +18,7 @@
 #include "internal/catch_startup_exception_registry.h"
 
 #include <fstream>
-#include <stdlib.h>
+#include <cstdlib>
 #include <limits>
 
 namespace Catch {
@@ -86,7 +86,7 @@ namespace Catch {
             if( lastSlash != std::string::npos )
                 filename = filename.substr( lastSlash+1 );
 
-            std::string::size_type lastDot = filename.find_last_of( "." );
+            std::string::size_type lastDot = filename.find_last_of( '.' );
             if( lastDot != std::string::npos )
                 filename = filename.substr( 0, lastDot );
 
@@ -106,11 +106,11 @@ namespace Catch {
             alreadyInstantiated = true;
             m_cli = makeCommandLineParser( m_configData );
         }
-        ~Session() {
+        ~Session() override {
             Catch::cleanUp();
         }
 
-        void showHelp( std::string const& ) {
+        void showHelp() {
             Catch::cout() << "\nCatch v" << libraryVersion() << "\n";
 
             Catch::cout() << m_cli << std::endl;
@@ -132,7 +132,7 @@ namespace Catch {
             }
 
             if( m_configData.showHelp )
-                showHelp( m_configData.processName );
+                showHelp();
             m_config.reset();
             return 0;
         }