diff --git a/flake.lock b/flake.lock index 95a93db1ac4..68a01fa9be5 100644 --- a/flake.lock +++ b/flake.lock @@ -118,11 +118,11 @@ ] }, "locked": { - "lastModified": 1700127797, - "narHash": "sha256-1hF1r0ONR9f45eqVlrimgRyv7IQMGJI6ecwieX8Lpd0=", + "lastModified": 1700262197, + "narHash": "sha256-26BXqZlY1c/f+7Emlwcq+L2MNRKzHwCjR01tMHbMvCE=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "f2078a64cf50d22fdf0eb610f48d7480839c6657", + "rev": "92e3e6938fa560e7a66a07f40e005732b5938d39", "type": "github" }, "original": { diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index f2078a64cf5..92e3e6938fa 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit f2078a64cf50d22fdf0eb610f48d7480839c6657 +Subproject commit 92e3e6938fa560e7a66a07f40e005732b5938d39