diff --git a/flake.nix b/flake.nix index 43c089cd0a..7f508c9494 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.72"; + url = "github:runtimeverification/haskell-backend/v0.1.73"; 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 13007318e8..129f9187e3 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 13007318e88857089dc99e6a46f4cae1b7df4e30 +Subproject commit 129f9187e3457ed090f3a1661c04395b4d96eefd