diff --git a/flake.nix b/flake.nix
index 9241636ff1..b5fc3552a6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.93";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.94";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.76";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 8b860f98a0..c023bc5eb7 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 8b860f98a0ccab11c2f18e8940a2ba9eae235e12
+Subproject commit c023bc5eb734c1718243d66613044e895e8fcf7e