diff --git a/flake.lock b/flake.lock
index e7c7cb050a3..70d5de8654c 100644
--- a/flake.lock
+++ b/flake.lock
@@ -784,11 +784,11 @@
         "utils": "utils_2"
       },
       "locked": {
-        "lastModified": 1696003407,
-        "narHash": "sha256-35nxaef4HaSqf8gnu5Fi/pariMDMZLaQXbQteeH+n+8=",
+        "lastModified": 1696083513,
+        "narHash": "sha256-zUlM3A0Q7IPE17QlDXRYV2iEmsitEwD0POwUYZPgIlo=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "b120acba180acd4c9bc4832abae3aaf12ba2e1b5",
+        "rev": "a2577f4d26aaf04b654a2daa14b1586ccef959ea",
         "type": "github"
       },
       "original": {
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index b120acba180..a2577f4d26a 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit b120acba180acd4c9bc4832abae3aaf12ba2e1b5
+Subproject commit a2577f4d26aaf04b654a2daa14b1586ccef959ea