Skip to content

Commit

Permalink
Update immer dependency (#972)
Browse files Browse the repository at this point in the history 
In runtimeverification/immer#2, I made a tiny
change to our immer dependency that will eventually enable us to update
to C++20 when the time comes. This PR just bumps the backend submodule
to use that new version.
  • Loading branch information
@Baltoli
Baltoli authored Feb 6, 2024
1 parent c96dbb1 commit b9aa5d8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/immer
Submodule immer updated 5 files
+2 −2 default.nix
+42 −2 immer/detail/hamts/champ_iterator.hpp
+5 −1 immer/memory_policy.hpp
+1 −0 immer/transience/gc_transience_policy.hpp
+52 −0 test/set/relocation.cpp

0 comments on commit b9aa5d8

Please sign in to comment.