Skip to content

Commit

Permalink
quick attempt at #234
Browse files Browse the repository at this point in the history
  • Loading branch information
kltm committed Jan 22, 2018
1 parent bd8020c commit af5de8f
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -606,8 +606,8 @@ else if (opts.nextEq("--noExitIfLoadFails")) {
}
Set<OWLClass> unsatisfiable = currentReasoner.getUnsatisfiableClasses().getEntitiesMinusBottom();
if (exitIfUnsatisfiable && unsatisfiable.isEmpty() == false) {
LOG.error("Unsatisfiable: " + fname+" == "+unsatisfiable);
System.exit(1);
LOG.warn("Unsatisfiable: " + fname+" == "+unsatisfiable);
continue;
}
if (removeUnsatisfiableModels && unsatisfiable.isEmpty() == false) {
LOG.warn("Skip since unsatisfiable: " + fname);
Expand Down

0 comments on commit af5de8f

Please sign in to comment.