diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-03-19 01:14:44 +0100 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-03-19 01:14:44 +0100 |
| commit | 7f792e9b67d423cb6c6047836e9c24a32115a3eb (patch) | |
| tree | 505e43d1dee20137f281a84bfe8f7141e0ab2bdd /src/parser.h | |
| parent | 274fe375264e1767a8dcaea06eaa5d6735e32e37 (diff) | |
avoid delete-non-virtual-dtor warning on g++ 4.7
* the warning itself makes sense but in the cases reportet they
were irrelevant
Diffstat (limited to 'src/parser.h')
| -rw-r--r-- | src/parser.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser.h b/src/parser.h index 0af481f..0b139d9 100644 --- a/src/parser.h +++ b/src/parser.h @@ -132,6 +132,7 @@ protected: public: MicroStateMachine() : StateStart(NULL), state(StateStart) {} + virtual ~MicroStateMachine() {} virtual inline void reset(void) |