From 7addec7c44be4ace17695e5c4d7ebc73ca1a5047 Mon Sep 17 00:00:00 2001 From: Daniel Plagge <plagge@cs.uni-duesseldorf.de> Date: Mon, 2 May 2011 12:00:23 +0000 Subject: [PATCH] Bugfix: used wrong method to compute a type's tuple set for relations with arity >= 2 git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/experimental/plagge/probkodkod@7783 7aec93f6-bc54-0410-ac70-7d7c9efa889a --- src/de/stups/probkodkod/types/TupleType.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/de/stups/probkodkod/types/TupleType.java b/src/de/stups/probkodkod/types/TupleType.java index 0c96b01..7eeae5f 100644 --- a/src/de/stups/probkodkod/types/TupleType.java +++ b/src/de/stups/probkodkod/types/TupleType.java @@ -94,7 +94,7 @@ public class TupleType { final TupleFactory factory = universe.factory(); final Tuple lowerTuple = factory.tuple(lower); final Tuple upperTuple = factory.tuple(upper); - return factory.range(lowerTuple, upperTuple); + return factory.area(lowerTuple, upperTuple); } /** -- GitLab