diff --git a/packages/CLPBN/horus/LiftedVe.h b/packages/CLPBN/horus/LiftedVe.h
index d09762dac..e79ffc265 100644
--- a/packages/CLPBN/horus/LiftedVe.h
+++ b/packages/CLPBN/horus/LiftedVe.h
@@ -8,6 +8,8 @@
 class LiftedOperator
 {
   public:
+    virtual ~LiftedOperator (void) { }
+  
     virtual double getLogCost (void) = 0;
 
     virtual void apply (void) = 0;