diff --git a/.unreleased/bug-fixes/quint-nullary-operators.md b/.unreleased/bug-fixes/quint-nullary-operators.md
new file mode 100644
index 0000000000..046a7265a9
--- /dev/null
+++ b/.unreleased/bug-fixes/quint-nullary-operators.md
@@ -0,0 +1 @@
+Fix a problem when translating Quint nullary operators used polymorphically, see #3044