1 files changed, 1 insertions, 0 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 0413e65..0c12a27 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java
@@ -22,6 +22,7 @@ public class SkolemTermsManager {
     private int dependenciesCounter = 0;
 
     // replace with hashcode. in case of collision you get only a different upper bound model.
+    // or, better, use perfect hashing (i.e. devise an ad-hoc hash function without collisions)
     private Map<Tuple<Individual>, Integer> mapDependencyToId = new HashMap<>();
 
     /**