1 files changed, 1 insertions, 1 deletions

diff --git a/test/uk/ac/ox/cs/hermit/HermitTester.java b/test/uk/ac/ox/cs/hermit/HermitTester.java
index 00df658..dc70284 100644
--- a/test/uk/ac/ox/cs/hermit/HermitTester.java
+++ b/test/uk/ac/ox/cs/hermit/HermitTester.java
@@ -27,7 +27,7 @@ public class HermitTester {
                 for (OWLOntology o: onto.getImportsClosure()) {
                         System.out.println(o.containsEntityInSignature(concept));
                         for (OWLAxiom axiom: o.getAxioms())
-                                if (axiom.containsEntityInSignature(concept))
+                                if (axiom.getClassesInSignature().contains(concept))
                                         System.out.println(axiom); 
                 }