From f2173d001e4d432a6abf2c41c9cbfd6aed721f25 Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Wed, 12 Dec 2012 21:16:36 +0000
Subject: [PATCH] Lkc: fix bug when adding weights

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

diff --git a/packages/CLPBN/horus/LiftedWCNF.cpp b/packages/CLPBN/horus/LiftedWCNF.cpp
index 9357311f6..b2272b6d6 100644
--- a/packages/CLPBN/horus/LiftedWCNF.cpp
+++ b/packages/CLPBN/horus/LiftedWCNF.cpp
@@ -568,7 +568,7 @@ LiftedWCNF::addParameterClauses (const ParfactorList& pfList)
       // ¬θxi|u1,...,un v λu1           -> tempClause
       // ¬θxi|u1,...,un v λu2           -> tempClause
       double posWeight = (**it)[indexer];
-      addWeight (paramVarLid, posWeight, 1.0);
+      addWeight (paramVarLid, posWeight, LogAware::one());
       
       Clause* clause1 = new Clause (*(*it)->constr());