1 files changed, 1 insertions, 1 deletions

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;