fix a null pointer problem

ghxiao · Oct 2, 2013 · bc99380 · bc99380
1 parent a461e5a
commit bc99380
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/OWLProfilization.java b/src/OWLProfilization.java
@@ -53,7 +53,9 @@ public static void main(String... args)
 
 		for (OWLProfileViolation violation : report.getViolations()) {
 			OWLAxiom axiom = violation.getAxiom();
-			manager.removeAxiom(ontology, axiom);
+			if (axiom != null){
+				manager.removeAxiom(ontology, axiom);
+			}
 		}
 
 		manager.saveOntology(ontology, System.out);