From fe28a97f4795539d30597e6d4907c4cc81eaa54a Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Mon, 5 Nov 2012 18:12:37 +0000
Subject: [PATCH] refactoring: removed unused variable
git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/experimental/plagge/probkodkod@12351 7aec93f6-bc54-0410-ac70-7d7c9efa889a
---
src/de/stups/probkodkod/types/TupleType.java | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/de/stups/probkodkod/types/TupleType.java b/src/de/stups/probkodkod/types/TupleType.java
index 7eeae5f..f622202 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);
--
GitLab