From b9aa5d83672227b2a95d8073c6adb5d194f2277a Mon Sep 17 00:00:00 2001
From: Bruce Collie <brucecollie82@gmail.com>
Date: Tue, 6 Feb 2024 18:24:55 +0000
Subject: [PATCH] Update immer dependency (#972)

In https://github.com/runtimeverification/immer/pull/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.
---
 deps/immer | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/immer b/deps/immer
index 198c2ae26..3df06d087 160000
--- a/deps/immer
+++ b/deps/immer
@@ -1 +1 @@
-Subproject commit 198c2ae260d49ef1800a2fe4433e07d7dec20059
+Subproject commit 3df06d08742710cb8f7bc8365235b77266515aff