diff options
-rw-r--r-- | store/src/main/java/tools/refinery/store/query/view/FilteredRelationView.java | 2 | ||||
-rw-r--r-- | store/src/main/java/tools/refinery/store/query/view/FunctionalRelationView.java | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/store/src/main/java/tools/refinery/store/query/view/FilteredRelationView.java b/store/src/main/java/tools/refinery/store/query/view/FilteredRelationView.java index 2e264c44..3531195a 100644 --- a/store/src/main/java/tools/refinery/store/query/view/FilteredRelationView.java +++ b/store/src/main/java/tools/refinery/store/query/view/FilteredRelationView.java | |||
@@ -32,7 +32,7 @@ public class FilteredRelationView<D> extends RelationView<D>{ | |||
32 | public static Object[] toTuple1Array(Tuple t) { | 32 | public static Object[] toTuple1Array(Tuple t) { |
33 | Object[] result = new Object[t.getSize()]; | 33 | Object[] result = new Object[t.getSize()]; |
34 | for(int i = 0; i<t.getSize(); i++) { | 34 | for(int i = 0; i<t.getSize(); i++) { |
35 | result[i] = t.get(i); | 35 | result[i] = Tuple.of(t.get(i)); |
36 | } | 36 | } |
37 | return result; | 37 | return result; |
38 | } | 38 | } |
diff --git a/store/src/main/java/tools/refinery/store/query/view/FunctionalRelationView.java b/store/src/main/java/tools/refinery/store/query/view/FunctionalRelationView.java index f54d4428..db9ba4b8 100644 --- a/store/src/main/java/tools/refinery/store/query/view/FunctionalRelationView.java +++ b/store/src/main/java/tools/refinery/store/query/view/FunctionalRelationView.java | |||
@@ -37,7 +37,7 @@ public class FunctionalRelationView<D> extends RelationView<D> { | |||
37 | public static <D> Object[] toTuple1ArrayPlusValue(Tuple t, D value) { | 37 | public static <D> Object[] toTuple1ArrayPlusValue(Tuple t, D value) { |
38 | Object[] result = new Object[t.getSize()+1]; | 38 | Object[] result = new Object[t.getSize()+1]; |
39 | for(int i = 0; i<t.getSize(); i++) { | 39 | for(int i = 0; i<t.getSize(); i++) { |
40 | result[i] = t.get(i); | 40 | result[i] = Tuple.of(t.get(i)); |
41 | } | 41 | } |
42 | result[t.getSize()] = value; | 42 | result[t.getSize()] = value; |
43 | return result; | 43 | return result; |