Add changelog for #2608

apalache-mc · Jun 21, 2023 · b2259a6 · b2259a6
1 parent 3b78fb5
commit b2259a6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.unreleased/bug-fixes/2608.md b/.unreleased/bug-fixes/2608.md
@@ -0,0 +1 @@
+Fix translation of nested/shadowed "_" Quint lambda parameters, see #2608