From ac0a514aa60a71f80ce797db87a05138b1ee6c4d Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 12 Sep 2023 22:08:03 +0000
Subject: [PATCH] flake.nix,
 hs-backend-booster/src/main/native/hs-backend-booster: update to version
 4ddf92ea7857e43857e1aeef38bb4c3c3d4b898a

---
 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 516813d1627..6559c9bda0a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,7 +4,7 @@
     nixpkgs.url = "nixpkgs/nixos-23.05";
     haskell-backend.url = "github:runtimeverification/haskell-backend/d677fe6bfc7305a3b515a7e99d78998ff7c370e3";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/8aac6e3852e522867610a294f8e8b07867f120d6";
+      url = "github:runtimeverification/hs-backend-booster/4ddf92ea7857e43857e1aeef38bb4c3c3d4b898a";
       # 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 8aac6e3852e..4ddf92ea785 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 8aac6e3852e522867610a294f8e8b07867f120d6
+Subproject commit 4ddf92ea7857e43857e1aeef38bb4c3c3d4b898a