1 files changed, 8 insertions, 0 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/tuple/Tuple1.java b/subprojects/store/src/main/java/tools/refinery/store/tuple/Tuple1.java
index 388ee3a9..fb9497d2 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/tuple/Tuple1.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/tuple/Tuple1.java
@@ -38,6 +38,14 @@ public final class Tuple1 implements Tuple {
         }
 
         @Override
+        public Tuple set(int element, int value) {
+                if (element == 0) {
+                        return Tuple.of(value);
+                }
+                throw new IndexOutOfBoundsException(element);
+        }
+
+        @Override
         public String toString() {
                 return TUPLE_BEGIN + value0 + TUPLE_END;
         }