From 9c8827c30996e475442a0ba7c473fefc461e4735 Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Sun, 9 Dec 2012 22:57:39 +0000
Subject: [PATCH] always copy clauses for backup

---
 packages/CLPBN/horus/LiftedCircuit.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/packages/CLPBN/horus/LiftedCircuit.cpp b/packages/CLPBN/horus/LiftedCircuit.cpp
index 2edc0d2c9..bbf1c3d02 100644
--- a/packages/CLPBN/horus/LiftedCircuit.cpp
+++ b/packages/CLPBN/horus/LiftedCircuit.cpp
@@ -349,7 +349,7 @@ LiftedCircuit::tryIndependence (
     return false;
   }
   if (Globals::verbosity > 1) {
-    backupClauses_ = clauses;
+    backupClauses_ = Clause::copyClauses (clauses);
   }
   Clauses depClauses = { clauses[0] };
   Clauses indepClauses (clauses.begin() + 1, clauses.end());
@@ -827,7 +827,8 @@ LiftedCircuit::createSmoothNode (
       if (it != originClausesMap_.end()) {
         backupClauses_ = it->second;
       } else {
-        backupClauses_ = { ((dynamic_cast<LeafNode*>(*prev))->clause()) };
+        backupClauses_ =  Clause::copyClauses (
+            {((dynamic_cast<LeafNode*>(*prev))->clause())});
       }
     }
     Clauses clauses;