diff options
| -rw-r--r-- | 3rdparty/pugixml/src/pugixml.hpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/3rdparty/pugixml/src/pugixml.hpp b/3rdparty/pugixml/src/pugixml.hpp index 09bd6923dbc..9c41b14643c 100644 --- a/3rdparty/pugixml/src/pugixml.hpp +++ b/3rdparty/pugixml/src/pugixml.hpp @@ -273,7 +273,7 @@ namespace pugi // Construct writer from a FILE* object; void* is used to avoid header dependencies on stdio xml_writer_file(void* file); - virtual void write(const void* data, size_t size); + virtual void write(const void* data, size_t size) override; private: void* file; @@ -288,7 +288,7 @@ namespace pugi xml_writer_stream(std::basic_ostream<char, std::char_traits<char> >& stream); xml_writer_stream(std::basic_ostream<wchar_t, std::char_traits<wchar_t> >& stream); - virtual void write(const void* data, size_t size); + virtual void write(const void* data, size_t size) override; private: std::basic_ostream<char, std::char_traits<char> >* narrow_stream; @@ -1214,7 +1214,7 @@ namespace pugi explicit xpath_exception(const xpath_parse_result& result); // Get error message - virtual const char* what() const throw(); + virtual const char* what() const throw() override; // Get parse result const xpath_parse_result& result() const; |
