push

7e7177dc · Blomme Anthony · 82b59671 · 7e7177dc
Commit 7e7177dc authored Sep 17, 2021 by Blomme Anthony
--- a/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java
+++ b/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java
@@ -1036,7 +1036,6 @@ public class ConflictMap extends MapPb implements IConflict {
            }
            this.byLevel[0].push(lit);
        }
-
    }

 }