Fix another sonarqube violation.

f3c86d8b · Daniel Le Berre · 18f9996f · f3c86d8b
Commit f3c86d8b authored Nov 10, 2018 by Daniel Le Berre
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java ...java/org/sat4j/minisat/constraints/card/MinWatchCard.java +3 -0

No files found.
--- a/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java
+++ b/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java
@@ -598,6 +598,9 @@ public class MinWatchCard
        if (card == null) {
            return false;
        }
+        if (this.getClass() != card.getClass()) {
+            return false;
+        }
        try {
            MinWatchCard mcard = (MinWatchCard) card;
            if (mcard.degree != this.degree) {