1 files changed, 1 insertions, 1 deletions

diff --git a/src/test/java/uk/ac/ox/cs/hermit/HermitTester.java b/src/test/java/uk/ac/ox/cs/hermit/HermitTester.java
index dc70284..b46360d 100644
--- a/src/test/java/uk/ac/ox/cs/hermit/HermitTester.java
+++ b/src/test/java/uk/ac/ox/cs/hermit/HermitTester.java
@@ -20,7 +20,7 @@ public class HermitTester {
 
         public static void main(String[] args) {
                 OWLOntology onto = OWLHelper.loadOntology("imported.owl");
-                Reasoner hermit = new Reasoner(onto);
+                Reasoner hermit = new Reasoner(new Configuration(), onto);
                 OWLDataFactory f = onto.getOWLOntologyManager().getOWLDataFactory();
                 OWLClass concept = f.getOWLClass(IRI.create("http://semantics.crl.ibm.com/univ-bench-dl.owl#Query12"));