Trivial

2013-02-08 01:11:18 +00:00
parent 98842dca74
commit bff56c75ca
5 changed files with 14 additions and 11 deletions
--- a/packages/CLPBN/horus/LiftedWCNF.h
+++ b/packages/CLPBN/horus/LiftedWCNF.h
@@ -186,7 +186,9 @@ class LitLvTypes

 struct CmpLitLvTypes
 {
-  bool operator() (const LitLvTypes& types1, const LitLvTypes& types2) const
+  bool operator() (
+      const LitLvTypes& types1,
+      const LitLvTypes& types2) const
  {
    if (types1.lid() < types2.lid()) {
      return true;