Commit 1c16be27 authored by leberre's avatar leberre

Removed useless test (line is always non null because...

Removed useless test (line is always non null because StringBuffer().toString() always returns a non null object).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1711 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 15cd1bc7
......@@ -65,11 +65,7 @@ public class GroupedCNFReader extends DimacsReader {
protected void readProblemLine() throws IOException, ParseFormatException {
String line = this.scanner.nextLine();
if (line == null) {
throw new ParseFormatException("premature end of file: <p "
+ this.formatString + " ...> expected");
}
assert line != null;
line = line.trim();
String[] tokens = line.split("\\s+");
if (tokens.length < 5 || !"p".equals(tokens[0])
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment