diff --git a/flake.lock b/flake.lock index 2e27cf2fbdc..278821f235a 100644 --- a/flake.lock +++ b/flake.lock @@ -118,11 +118,11 @@ ] }, "locked": { - "lastModified": 1705694592, - "narHash": "sha256-p8UaXmCg69Ls8UZEEe6cxBkKauG7fRhdAQmMId2uXZQ=", + "lastModified": 1705941888, + "narHash": "sha256-/yjqTAM8Zw0beuwZZkl+3d9IRMDJ3LQOUvVAhgzcpso=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "9b35671c0435ec8a193afe7ba8089f6753f5dec0", + "rev": "2fdcb5953b4c40198a1ecaa8f91fae5b47d7100b", "type": "github" }, "original": { diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 9b35671c043..2fdcb5953b4 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 9b35671c0435ec8a193afe7ba8089f6753f5dec0 +Subproject commit 2fdcb5953b4c40198a1ecaa8f91fae5b47d7100b