win...

packages/CLPBN/horus/LiftedKc.cpp

@@ -406,7 +406,7 @@ LeafNode::weight() const
       // ancester that is not set. This can only
       // happen when calculating the weights
       // for the edge labels in graphviz
-      return nan(NULL);
+      return nan("SetOrNode::isSet() == false");
     }
   }
   double weight = clause_->literals()[0].isPositive()
@@ -1580,4 +1580,3 @@ LiftedKc::printSolverFlags() const
 }
 
 }  // namespace Horus
-

packages/CLPBN/horus/LiftedKc.h

@@ -23,4 +23,3 @@ class LiftedKc : public LiftedSolver {
 }  // namespace Horus
 
 #endif  // YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_
-