add release notes

apalache-mc · Sep 27, 2024 · 5b7b5d6 · 5b7b5d6
1 parent e8fba87
commit 5b7b5d6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.unreleased/bug-fixes/distinct-on-singleton.md b/.unreleased/bug-fixes/distinct-on-singleton.md
@@ -0,0 +1 @@
+Do not produce `(distinct ...)` for singletons (see #3005)