correct name for test file.

359df068 · Daniel Le Berre · 9f9c6dac · 359df068
Commit 359df068 authored Jul 01, 2018 by Daniel Le Berre
--- a/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT144.java
+++ b/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT144.java
@@ -14,7 +14,7 @@ import org.sat4j.specs.IVec;
 import org.sat4j.specs.IVecInt;
 import org.sat4j.specs.TimeoutException;

-public class BugSAT143 {
+public class BugSAT144 {

    @Test
    public void testWithCard() throws ContradictionException, TimeoutException {