diff --git a/flake.nix b/flake.nix index 94ee60181c..0917becbb2 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.101"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.91"; + url = "github:runtimeverification/haskell-backend/v0.1.92"; 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 286b525b7a..d933d5ccb4 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 286b525b7aa81e3bc3c92b90ebc368dc13401f99 +Subproject commit d933d5ccb4cee63b83b8a990a03d3f4267139e41