1 files changed, 1 insertions, 1 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java b/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java
index 44daf7a..a78aabe 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java
@@ -83,7 +83,7 @@ public class SkolemTermsManager {
     /**
      * Get the number of individuals generated by this manager.
      */
-    public int getNumberOfSkolemisedIndividual() {
+    public int getSkolemIndividualsCount() {
         return individualToDepth_map.keySet().size();
     }