From 9f9c6dac3266daf2ccaaa20acebeee0bda812963 Mon Sep 17 00:00:00 2001 From: Daniel Le Berre Date: Sun, 1 Jul 2018 23:13:50 +0200 Subject: [PATCH] Issue was #144 ... --- .../src/test/java/org/sat4j/pb/{BugSAT143.java => BugSAT144.java} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename org.sat4j.pb/src/test/java/org/sat4j/pb/{BugSAT143.java => BugSAT144.java} (100%) 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 -- GitLab