From 29eecb27c7f91de92b21bbd646d8b7a55e526833 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Tue, 16 Jun 2015 15:54:53 +0100
Subject: Maybe fixed bug in internalisation.

---
 src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'src/uk/ac/ox/cs/pagoda/endomorph')

diff --git a/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java b/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java
index cde0895..1c853d7 100644
--- a/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java
+++ b/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java
@@ -84,11 +84,19 @@ public class Endomorph extends Checker {
 		return fullReasoner.isConsistent();
 	}
 
+	@Override
+	public int getNoOfCalls() {
+		return fullReasoner.getNoOfCalls();
+	}
+
 	@Override
 	public void dispose() {
 		super.dispose();
 
-		fullReasoner.dispose();
+		if(fullReasoner != null) {
+//			Utility.logInfo("Hermit was called " + fullReasoner.getNoOfCalls() + " times");
+			fullReasoner.dispose();
+		}
 	}
 	
 	public Graph getGraph() {
-- 
cgit v1.2.3