Added fix for #145 suggested by Tobias.

06c124de · Daniel Le Berre · 47918d1f · 06c124de
Commit 06c124de authored Sep 16, 2018 by Daniel Le Berre
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

org.sat4j.core/src/main/java/org/sat4j/reader/InstanceReader.java ...j.core/src/main/java/org/sat4j/reader/InstanceReader.java +1 -1

No files found.
--- a/org.sat4j.core/src/main/java/org/sat4j/reader/InstanceReader.java
+++ b/org.sat4j.core/src/main/java/org/sat4j/reader/InstanceReader.java
@@ -110,7 +110,7 @@ public class InstanceReader extends Reader {
        }

        if (filename.indexOf(':') != -1) {
-            String[] parts = filename.split(":");
+            String[] parts = filename.split(":", 2);
            filename = parts[1];
            prefix = parts[0].toUpperCase(Locale.getDefault());