1 files changed, 1 insertions, 1 deletions
diff --git a/src/pqueue.h b/src/pqueue.h
index 1b45f75..8307d56 100644
--- a/src/pqueue.h
+++ b/src/pqueue.h
@@ -19,7 +19,7 @@ public:
        /**
         * Cleanup all contained queues.
         */
-        ~PQueue();
+        virtual ~PQueue();
        /** Add a new item to the queue at the specified priority.  A lower
          * number means a higher priority!

diff --git a/src/pqueue.h b/src/pqueue.h index 1b45f75..8307d56 100644 --- a/src/pqueue.h +++ b/src/pqueue.h
@@ -19,7 +19,7 @@ public:
19	/**	19	/**
20	* Cleanup all contained queues.	20	* Cleanup all contained queues.
21	*/	21	*/
22	~PQueue();	22	virtual ~PQueue();
23		23
24	/** Add a new item to the queue at the specified priority. A lower	24	/** Add a new item to the queue at the specified priority. A lower
25	* number means a higher priority!	25	* number means a higher priority!