diff --git a/.unreleased/bug-fixes/2634-quint-open-tuple.md b/.unreleased/bug-fixes/2634-quint-open-tuple.md
new file mode 100644
index 0000000000..b89e6579ef
--- /dev/null
+++ b/.unreleased/bug-fixes/2634-quint-open-tuple.md
@@ -0,0 +1 @@
+Fix a bug when translating certain Quint tuple types, see #2634