diff options
Diffstat (limited to 'src/UnknownOptionException.h')
| -rw-r--r-- | src/UnknownOptionException.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/UnknownOptionException.h b/src/UnknownOptionException.h index b6dd2e88..2500ac19 100644 --- a/src/UnknownOptionException.h +++ b/src/UnknownOptionException.h @@ -42,7 +42,7 @@ class UnknownOptionException:public RecoverableException { private: std::string unknownOption_; protected: - virtual std::shared_ptr<Exception> copy() const; + virtual std::shared_ptr<Exception> copy() const CXX11_OVERRIDE; public: UnknownOptionException(const char* file, int line, const std::string& unknownOption); |
