From c0f5bdcdb29608532656c71c219680eccd4aad09 Mon Sep 17 00:00:00 2001 From: yzhou Date: Tue, 21 Apr 2015 22:45:35 +0100 Subject: fixed some bugs in windows server --- src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/summary') diff --git a/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java b/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java index a57d188..a0ecce8 100644 --- a/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java +++ b/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java @@ -34,9 +34,9 @@ public class HermitSummaryFilter implements Checker { Endomorph endomorphismChecker = null; - public HermitSummaryFilter(QueryRecord record) { + public HermitSummaryFilter(QueryRecord record, boolean toCallHermiT) { m_record = record; - HermitChecker hermitChecker = new HermitChecker(record.getRelevantOntology(), record); + HermitChecker hermitChecker = new HermitChecker(record.getRelevantOntology(), record, toCallHermiT); endomorphismChecker = new Endomorph(record, hermitChecker); hermitChecker.setDependencyGraph(endomorphismChecker.getDependencyGraph()); } -- cgit v1.2.3