From 917119d59b76534fac96c2e55b7dd2ef0f6f76ec Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 19 Oct 2023 09:41:38 +0000
Subject: [PATCH] flake.nix,
 hs-backend-booster/src/main/native/hs-backend-booster: update to version
 26b5d2df37c6fcc210d80ff57d1c3572a41f90b5

---
 flake.nix                                             | 2 +-
 hs-backend-booster/src/main/native/hs-backend-booster | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 0d4dd663317..2527e14ef7c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,7 +4,7 @@
     nixpkgs.url = "nixpkgs/nixos-23.05";
     haskell-backend.url = "github:runtimeverification/haskell-backend/03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/0cc3ef5ccde0535828065e8acdf976149ed36e42";
+      url = "github:runtimeverification/hs-backend-booster/26b5d2df37c6fcc210d80ff57d1c3572a41f90b5";
       # NB booster-backend will bring in another dependency on haskell-backend,
       # but the two are not necessarily the same (different more often than not).
       # We get two transitive dependencies on haskell-nix.
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
index 0cc3ef5ccde..26b5d2df37c 160000
--- a/hs-backend-booster/src/main/native/hs-backend-booster
+++ b/hs-backend-booster/src/main/native/hs-backend-booster
@@ -1 +1 @@
-Subproject commit 0cc3ef5ccde0535828065e8acdf976149ed36e42
+Subproject commit 26b5d2df37c6fcc210d80ff57d1c3572a41f90b5