From 8371e395dd1f0ff2640a34e08355bf90cfeca31e Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Mon, 10 Dec 2012 19:37:41 +0000
Subject: [PATCH] fix typo

---
 packages/CLPBN/horus/LiftedWCNF.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/packages/CLPBN/horus/LiftedWCNF.h b/packages/CLPBN/horus/LiftedWCNF.h
index e360718a7..92f07d192 100644
--- a/packages/CLPBN/horus/LiftedWCNF.h
+++ b/packages/CLPBN/horus/LiftedWCNF.h
@@ -165,7 +165,10 @@ class LitLvTypes
         if (types1.lid_ < types2.lid_) {
           return true;
         }
-        return types1.lvTypes_ < types2.lvTypes_;
+        if (types1.lid_ == types2.lid_) {
+          return types1.lvTypes_ < types2.lvTypes_;
+        }
+        return false;
       }
     };