Commit 86dc873f authored by Jonathan Shahen's avatar Jonathan Shahen
Browse files

still bug hunting

parent 27e993f6
......@@ -183,7 +183,7 @@ public class RunSolverCNFSAT implements RunSolver {
List<String> lines = new LinkedList<String>();
boolean recordlines = false;
int lineCount = 0;
for (String str = null; (str = solveroutput.readLine()) != null;) {
for (String str = ""; (str = solveroutput.readLine()) != null;) {
lineCount++;
// System.out.println(str); // DEBUG LINE
if (recordlines) {
......
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