diff --git a/flake.lock b/flake.lock index 7b1ded9a071..4e929d015fc 100644 --- a/flake.lock +++ b/flake.lock @@ -136,11 +136,11 @@ ] }, "locked": { - "lastModified": 1697808331, - "narHash": "sha256-3jDWLywHyoOT2VdyITBl9yzHMw9GX6fRUXqDofjbFKE=", + "lastModified": 1698757479, + "narHash": "sha256-gE4AEKCcckGeJ9hgHeuHunFRweBwXI/dxTkTnjOr0tI=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "480b54218da5f82876f25c70cb96c441f1a8eecd", + "rev": "44a675f1c1d4b53d6f174d67fe9776ddb4c89419", "type": "github" }, "original": { diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 480b54218da..44a675f1c1d 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 480b54218da5f82876f25c70cb96c441f1a8eecd +Subproject commit 44a675f1c1d4b53d6f174d67fe9776ddb4c89419