--- a/tool/NumberListParser.h Thu Feb 25 15:29:33 2010 +0100
+++ b/tool/NumberListParser.h Thu Feb 25 15:38:14 2010 +0100
@@ -36,7 +36,7 @@
{
public:
NumberListParser();
- ~NumberListParser();
+ virtual ~NumberListParser();
typedef list<unsigned int> NumberList;