From 2e069a4966e6305194c4168d6fc5c406123d7f64 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Thu, 28 May 2015 10:29:11 +0100 Subject: NOT-WORKING: trying to add query-dependent Skolemisation. --- src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (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 663c716..90a2ed4 100644 --- a/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java +++ b/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java @@ -154,7 +154,7 @@ public class HermitSummaryFilter implements Checker { m_record.removeUpperBoundAnswers(falsified); - if (m_record.processed()) { + if(m_record.isProcessed()) { m_record.setDifficulty(Step.SUMMARISATION); m_record.addProcessingTime(Step.SUMMARISATION, t.duration()); return 0; -- cgit v1.2.3