Skip to content

Commit

Permalink
Fixes error in Constraint.isUnit()
Browse files Browse the repository at this point in the history
  • Loading branch information
burknator committed Aug 5, 2019
1 parent 95eb165 commit 1031363
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/de/pburke/Constraint.java
Expand Up @@ -63,7 +63,7 @@ public boolean isUnit() {
else if (bound.isFalse()) f++;
}

return i + f == simpleBounds.size();
return i == 1 && i + f == simpleBounds.size();
}

public String toString() {
Expand Down

0 comments on commit 1031363

Please sign in to comment.