diff -r 651e9cfb244b -r 853bfd38ef5d tool/NumberListParser.h
--- 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;