diff options
author | Phil Williams <philip.williams@mac.com> | 2015-01-14 00:13:55 +0300 |
---|---|---|
committer | Phil Williams <philip.williams@mac.com> | 2015-01-14 00:13:55 +0300 |
commit | e5ebf30664a5b5e0ee1dfbec25bfbcced83096e0 (patch) | |
tree | e4339893ea665a64ea6ac1635df24c14016183fb /moses/PP | |
parent | 60a96dfc45078747e09c1a0e94e824fc4818e9b1 (diff) |
Fix a few warnings.
Diffstat (limited to 'moses/PP')
-rw-r--r-- | moses/PP/PhraseProperty.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/moses/PP/PhraseProperty.h b/moses/PP/PhraseProperty.h index b7437369b..e8127e5bb 100644 --- a/moses/PP/PhraseProperty.h +++ b/moses/PP/PhraseProperty.h @@ -14,7 +14,7 @@ class PhraseProperty public: PhraseProperty() : m_value(NULL) {}; - ~PhraseProperty() { if ( m_value != NULL ) delete m_value; }; + virtual ~PhraseProperty() { if ( m_value != NULL ) delete m_value; }; virtual void ProcessValue(const std::string &value) { m_value = new std::string(value); }; |