deps/hs-backend-booster_release: Set Version 26b5d2df37c6fcc210d80ff5…

…7d1c3572a41f90b5
runtimeverification · Oct 19, 2023 · d5c49df · d5c49df
1 parent 42f9bdc
commit d5c49df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-0cc3ef5ccde0535828065e8acdf976149ed36e42
+26b5d2df37c6fcc210d80ff57d1c3572a41f90b5