diff --git a/flake.nix b/flake.nix index d9f6d4ea522..a536edd8128 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.76"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.58"; 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 1bfee4d3956..e7266f7e008 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 1bfee4d395624ff27ab0fefeb8325469f9e5b5b4 +Subproject commit e7266f7e0082b5a90ccf47ceed47ba1811bdc636