diff --git a/src/de/stups/probkodkod/types/TupleType.java b/src/de/stups/probkodkod/types/TupleType.java
index 7eeae5fae69ba549ff0a4e6dfa49dc6c43c9bcae..f6222023fa41ed438a435d9c4ece3159d1b3702b 100644
--- a/src/de/stups/probkodkod/types/TupleType.java
+++ b/src/de/stups/probkodkod/types/TupleType.java
@@ -41,12 +41,10 @@ public class TupleType {
 
 		final List<Integer> lower = new ArrayList<Integer>(arity);
 		final List<Integer> upper = new ArrayList<Integer>(arity);
-		int i = 0;
 		for (final Type type : types) {
 			final IntegerIntervall atomRange = type.getInterval();
 			lower.add(atomRange.getLower());
 			upper.add(atomRange.getUpper());
-			i++;
 		}
 		this.lower = Collections.unmodifiableList(lower);
 		this.upper = Collections.unmodifiableList(upper);