Merge branch 'master' into update-to-upstream

runtimeverification · Feb 14, 2024 · 3954717 · 3954717
2 parents eaf25b0 + 3df06d0
commit 3954717
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/immer/transience/gc_transience_policy.hpp b/immer/transience/gc_transience_policy.hpp
@@ -44,6 +44,7 @@ struct gc_transience_policy
                     : v{v_}
                 {}
                 edit() = delete;
+                edit(void *v_) : v(v_) {}
                 bool operator==(edit x) const { return v == x.v; }
                 bool operator!=(edit x) const { return v != x.v; }
             };