From 1e38743462dba4ebfd6395d894dbe5dc27ca606b Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Tue, 6 Nov 2012 16:24:59 +0000
Subject: [PATCH] fix ipgCandidates

---
 packages/CLPBN/horus/LiftedWCNF.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packages/CLPBN/horus/LiftedWCNF.cpp b/packages/CLPBN/horus/LiftedWCNF.cpp
index c28b3c732..0dac99a06 100644
--- a/packages/CLPBN/horus/LiftedWCNF.cpp
+++ b/packages/CLPBN/horus/LiftedWCNF.cpp
@@ -220,6 +220,8 @@ Clause::ipgCandidates (void) const
   LogVarSet candidates;
   LogVarSet allLvs = constr_.logVarSet();
   allLvs -= ipgLogVars_;
+  allLvs -= posCountedLvs_;
+  allLvs -= negCountedLvs_;  
   for (size_t i = 0; i < allLvs.size(); i++) {
     bool valid = true;
     for (size_t j = 0; j < literals_.size(); j++) {