Fixed terms' depth count in SkolemTermsManager (it was always zero).

1 files changed, 8 insertions, 3 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java b/src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java
index 3e72748..9139a5d 100644
--- a/src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java
+++ b/src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java
@@ -1,6 +1,7 @@
 package uk.ac.ox.cs.pagoda.util.tuples;
 
 import java.util.ArrayList;
+import java.util.Collections;
 import java.util.Iterator;
 import java.util.Spliterator;
 import java.util.function.Consumer;
@@ -11,10 +12,9 @@ public class Tuple<T> implements Iterable<T> {
 
     Tuple() { }
 
+    @SafeVarargs
     public Tuple(T... elements) {
-        for(T t: elements) {
-            this.elements.add(t);
-        }
+        Collections.addAll(this.elements, elements);
     }
     
     public Tuple(Iterable<T> iterable) {
@@ -41,4 +41,9 @@ public class Tuple<T> implements Iterable<T> {
     public Spliterator<T> spliterator() {
         return elements.spliterator();
     }
+
+    @Override
+    public int hashCode() {
+        return elements.hashCode() + getClass().hashCode();
+    }
 }