diff options
Diffstat (limited to 'cui')
| -rw-r--r-- | cui/source/options/optgdlg.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cui/source/options/optgdlg.cxx b/cui/source/options/optgdlg.cxx index 07496d9e6c26..8f7c9493915e 100644 --- a/cui/source/options/optgdlg.cxx +++ b/cui/source/options/optgdlg.cxx @@ -120,7 +120,7 @@ private: public: OpenGLCfg(); - ~OpenGLCfg(); + ~OpenGLCfg() COVERITY_NOEXCEPT_FALSE; bool useOpenGL() const; bool forceOpenGL() const; @@ -144,7 +144,7 @@ void OpenGLCfg::reset() mbModified = false; } -OpenGLCfg::~OpenGLCfg() +OpenGLCfg::~OpenGLCfg() COVERITY_NOEXCEPT_FALSE { if (mbModified) { |