add release notes

apalache-mc · Sep 30, 2024 · 35b826b · 35b826b
1 parent 05e516f
commit 35b826b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.unreleased/bug-fixes/source-tracking-in-vcgen.md b/.unreleased/bug-fixes/source-tracking-in-vcgen.md
@@ -0,0 +1 @@
+Fix source tracking in `VCGenerator` to avoid spurious diagnostic messages, see #3010