From ee099a46b11a5e96c9b70c7f82a874dfebb79908 Mon Sep 17 00:00:00 2001
From: Daniel Le Berre <daniel.leberre@univ-artois.fr>
Date: Mon, 12 Nov 2018 17:04:53 +0100
Subject: [PATCH] Fix for #127

---
 org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java b/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java
index fda00336..7ea73ebf 100644
--- a/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java
+++ b/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java
@@ -194,7 +194,7 @@ public class OPBStringSolver extends DimacsStringSolver implements IPBSolver {
             tmp.append(nVars());
             tmp.append(" #constraint= ");
             tmp.append(this.nbOfConstraints);
-            if (this.obj != null) {
+            if (this.obj != null && !this.obj.getCoeffs().isEmpty()) {
                 tmp.append("\n");
                 tmp.append("min: ");
                 tmp.append(this.obj);
-- 
GitLab