Trivial

2013-03-09 17:14:00 +00:00
parent a300b27764
commit 2da7249247
8 changed files with 38 additions and 23 deletions
--- a/packages/CLPBN/horus/LiftedWCNF.cpp
+++ b/packages/CLPBN/horus/LiftedWCNF.cpp
@@ -556,7 +556,8 @@ LiftedWCNF::addIndicatorClauses (const ParfactorList& pfList)
        Clause* clause = new Clause (tempConstr);
        std::vector<LiteralId> lids;
        for (size_t j = 0; j < formulas[i].range(); j++) {
-          clause->addLiteral (Literal (freeLiteralId_, formulas[i].logVars()));
+          clause->addLiteral (Literal (
+              freeLiteralId_, formulas[i].logVars()));
          lids.push_back (freeLiteralId_);
          freeLiteralId_ ++;
        }