Skip to content
Snippets Groups Projects
Commit 7addec7c authored by Daniel Plagge's avatar Daniel Plagge
Browse files

Bugfix: used wrong method to compute a type's tuple set for relations with arity >= 2

parent af24abf2
No related branches found
No related tags found
No related merge requests found
......@@ -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);
}
/**
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment