diff --git a/src/libvpsc/blocks.h b/src/libvpsc/blocks.h
index 72363ef66e0d90224c083c8e38828b8de9e1a82d..bfe99f271146387da3939e2c57f78b08b4f95b63 100644 (file)
--- a/src/libvpsc/blocks.h
+++ b/src/libvpsc/blocks.h
{
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);