diff --git a/.unreleased/bug-fixes/2629-typevar-translation.md b/.unreleased/bug-fixes/2629-typevar-translation.md
new file mode 100644
index 0000000000..6f0a55040b
--- /dev/null
+++ b/.unreleased/bug-fixes/2629-typevar-translation.md
@@ -0,0 +1 @@
+Fix an issue with translating Quint type variables, see #2629