Commit 39f2a629 authored by leberre's avatar leberre

Fixed properly the issue with the trivial inconsistency.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2051 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 689543a9
......@@ -345,7 +345,7 @@ public class Launcher extends AbstractLauncher implements ILogAble {
System.err.println("FATAL " + e.getLocalizedMessage());
} catch (ContradictionException e) {
this.exitCode = ExitCode.UNSATISFIABLE;
this.launcherMode.setExitCode(ExitCode.UNSATISFIABLE);
getLauncherMode().setExitCode(ExitCode.UNSATISFIABLE);
log("(trivial inconsistency)"); //$NON-NLS-1$
} catch (ParseFormatException e) {
System.err.println("FATAL " + e.getLocalizedMessage());
......
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