diff --git a/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT143.java b/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT144.java
similarity index 100%
rename from org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT143.java
rename to org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT144.java