Commit 09bcd046 authored by leberre's avatar leberre
Browse files

System.out -> out

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2534 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 37d33137
......@@ -242,7 +242,7 @@ public class DimacsStringSolver extends AbstractOutputSolver
* @since 2.3.3
*/
public void printInfos(PrintWriter out) {
System.out.println(toString());
out.println(toString());
}
public IConstr addClause(IVecInt literals, int desc)
......
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