Update .unreleased/bug-fixes/distinct-on-singleton.md

Co-authored-by: Thomas Pani <[email protected]>
apalache-mc · Sep 30, 2024 · 7db8fa4 · 7db8fa4
1 parent 5b7b5d6
commit 7db8fa4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.unreleased/bug-fixes/distinct-on-singleton.md b/.unreleased/bug-fixes/distinct-on-singleton.md
@@ -1 +1 @@
-Do not produce `(distinct ...)` for singletons (see #3005)
+Do not produce `(distinct ...)` for singletons, see #3005