Maybe fixed bug in internalisation.

1 files changed, 9 insertions, 1 deletions

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
@@ -85,10 +85,18 @@ public class Endomorph extends Checker {
         }
 
         @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() {