summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--3rdparty/pugixml/src/pugixml.hpp6
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;