diff --git a/.unreleased/bug-fixes/2606.md b/.unreleased/bug-fixes/2606.md
new file mode 100644
index 0000000000..b6fd703993
--- /dev/null
+++ b/.unreleased/bug-fixes/2606.md
@@ -0,0 +1 @@
+Fixed a bug in pointer propagation, where sets cherrypicked from a powerset would always have the exact same pointers as the base set, instead of some subset thereof (though SMT constraints were added correctly). This broke counterexample reconstruction. See #2606
\ No newline at end of file