diff --git a/flake.nix b/flake.nix index 0f3c5c4746..2d6987874d 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.98"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.99"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.76"; 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 812ea2ad00..3db6947cb1 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 812ea2ad00c91b7b5d144bd2624c7293802db45f +Subproject commit 3db6947cb1c97a97bdcaf2ee990dbd18b7f251e7