5 files changed, 5 insertions, 5 deletions
diff --git a/src/libvpsc/block.h b/src/libvpsc/block.h
index 9c285f311..fe4a18b78 100644
--- a/src/libvpsc/block.h
+++ b/src/libvpsc/block.h
@@ -34,7 +34,7 @@ public:
 	double weight;
 	double wposn;
 	Block(Variable* const v=NULL);
-	~Block(void);
+    virtual ~Block(void);
 	Constraint* findMinLM();
 	Constraint* findMinLMBetween(Variable* const lv, Variable* const rv);
 	Constraint* findMinInConstraint();
diff --git a/src/libvpsc/blocks.h b/src/libvpsc/blocks.h
index 72363ef66..bfe99f271 100644
--- a/src/libvpsc/blocks.h
+++ b/src/libvpsc/blocks.h
@@ -36,7 +36,7 @@ class Blocks : public std::set<Block*>
 {
 public:
 	Blocks(const int n, Variable* const vs[]);
-	~Blocks(void);
+    virtual ~Blocks(void);
 	void mergeLeft(Block *r);
 	void mergeRight(Block *l);
 	void split(Block *b, Block *&l, Block *&r, Constraint *c);
diff --git a/src/libvpsc/constraint.h b/src/libvpsc/constraint.h
index c73776daf..8a8529d7e 100644
--- a/src/libvpsc/constraint.h
+++ b/src/libvpsc/constraint.h
@@ -26,7 +26,7 @@ public:
 	double gap;
 	double lm;
 	Constraint(Variable *left, Variable *right, double gap, bool equality=false);
-	~Constraint();
+    virtual ~Constraint();
 	inline double slack() const { return right->position() - gap - left->position(); }
 	long timeStamp;
 	bool active;
diff --git a/src/libvpsc/pairingheap/PairingHeap.h b/src/libvpsc/pairingheap/PairingHeap.h
index 63c9badcf..6159e96c1 100644
--- a/src/libvpsc/pairingheap/PairingHeap.h
+++ b/src/libvpsc/pairingheap/PairingHeap.h
@@ -74,7 +74,7 @@ class PairingHeap
 public:
 	PairingHeap( bool (*lessThan)(T const &lhs, T const &rhs) );
 	PairingHeap( const PairingHeap & rhs );
-	~PairingHeap( );
+    virtual ~PairingHeap( );
 
 	bool isEmpty( ) const;
 	bool isFull( ) const;
diff --git a/src/libvpsc/variable.h b/src/libvpsc/variable.h
index d2c689723..25239ff20 100644
--- a/src/libvpsc/variable.h
+++ b/src/libvpsc/variable.h
@@ -44,7 +44,7 @@ public:
 		return block->posn+offset;
 	}
 	//double position() const;
-	~Variable(void){
+    virtual ~Variable(void){
 		in.clear();
 		out.clear();
 	}