Commit 5de927cb authored by lonca's avatar lonca
Browse files

Fixed a bug that made return an incorrect solution when some exceptions...

Fixed a bug that made return an incorrect solution when some exceptions occurred (for example, thrown when JVM is out of memory).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2543 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 81b9d81f
......@@ -284,8 +284,10 @@ public class XMLCSP3Reader extends Reader implements XCallbacks2 {
}
} catch(ParseFormatException | ContradictionException | IOException e) {
throw e;
} catch(RuntimeException e) {
e.printStackTrace();
throw e;
} catch (Exception e) {
// throw new ParseFormatException(e);
e.printStackTrace();
}
if(this.contradictionFound) {
......
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