diff --git a/packages/CLPBN/horus/LiftedBp.cpp b/packages/CLPBN/horus/LiftedBp.cpp
index 6c7299c2a..b4abfcdee 100644
--- a/packages/CLPBN/horus/LiftedBp.cpp
+++ b/packages/CLPBN/horus/LiftedBp.cpp
@@ -13,6 +13,13 @@ LiftedBp::LiftedBp (const ParfactorList& pfList)
 
 
 
+LiftedBp::~LiftedBp (void)
+{
+  delete solver_;
+}
+
+
+
 Params
 LiftedBp::solveQuery (const Grounds& query)
 {
diff --git a/packages/CLPBN/horus/LiftedBp.h b/packages/CLPBN/horus/LiftedBp.h
index 587f1d18b..f4c1ffa44 100644
--- a/packages/CLPBN/horus/LiftedBp.h
+++ b/packages/CLPBN/horus/LiftedBp.h
@@ -11,6 +11,8 @@ class LiftedBp
   public:
    LiftedBp (const ParfactorList& pfList);
 
+  ~LiftedBp (void);
+
    Params solveQuery (const Grounds&);
 
    void printSolverFlags (void) const;