diff --git a/flake.lock b/flake.lock index 5a1bbbbae59..0a3d2562515 100644 --- a/flake.lock +++ b/flake.lock @@ -137,11 +137,11 @@ ] }, "locked": { - "lastModified": 1708614263, - "narHash": "sha256-aLYOq9jeRv16n/JsqC6vfBjzzHt3b+LLA75ScbsLTVI=", + "lastModified": 1708687355, + "narHash": "sha256-+hxlSYI5NGNg1yS7wzdqnPRWwt+K4Gl5rDEwA7Rn9Ss=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "34a33b014fbd41fce1059feff37f462c82d5a4c5", + "rev": "411cfc5ffc51a48422a021cb1a70d9353be2ffc5", "type": "github" }, "original": { diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 34a33b014fb..411cfc5ffc5 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 34a33b014fbd41fce1059feff37f462c82d5a4c5 +Subproject commit 411cfc5ffc51a48422a021cb1a70d9353be2ffc5