Generate dot file even if there is no mapping.

8d4d368f · Daniel Le Berre · 876bc671 · 8d4d368f
Commit 8d4d368f authored Oct 24, 2017 by Daniel Le Berre
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java +1 -1

No files found.
--- a/org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java
+++ b/org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java
@@ -252,7 +252,7 @@ public class KTHLauncher {
            OptToPBSATAdapter optimizer = new OptToPBSATAdapter(handle);
            try {
                reader.parseInstance(filename);
-                if (reader.hasAMapping()&&line.hasOption("dot-output")) {
+                if (line.hasOption("dot-output")) {
                        String dotfilename = line.getOptionValue("dot-output");
                        if (dotfilename != null) {
                            DotSearchTracing<String> dotTracing = new DotSearchTracing<>(dotfilename);