Commit 59dda784 authored by leberre's avatar leberre

Removed unused others.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1719 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 7e1c8b89
......@@ -280,10 +280,9 @@ public final class Solvers {
String filename = cmd.getOptionValue("f");
int others = 0;
String[] rargs = cmd.getArgs();
if (filename == null && rargs.length > 0) {
filename = rargs[others++];
filename = rargs[0];
}
String framework = cmd.getOptionValue("l"); //$NON-NLS-1$
if (framework == null) {
......
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