diff --git a/flake.nix b/flake.nix index a5ae1feef0..7dce67b4e7 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.103"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.98"; + url = "github:runtimeverification/haskell-backend/v0.1.99"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; inputs.nixpkgs.follows = "llvm-backend/nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 5a2777d8c6..820cd05c08 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 5a2777d8c6681ef10f5e05aa52103d63e23e451a +Subproject commit 820cd05c084ba7f297e74a960f98e99ea2b2fba4