diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index e7769980370..2d913f8310b 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.48 +v0.1.49 diff --git a/flake.lock b/flake.lock index 52b541b56c8..4d395a9f9fb 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1721890597, - "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", + "lastModified": 1721894065, + "narHash": "sha256-6tpy2tMfaT9kL4TE0vOxuVHDzER3fVe0GKZmMAfJLmg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", + "rev": "2792e92b66d762c955a5f65e813521d508ab43b2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.48", + "ref": "v0.1.49", "repo": "haskell-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 1e5c013aa2f..7fb55f18219 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.64"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.48"; + url = "github:runtimeverification/haskell-backend/v0.1.49"; 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 6d3ab26f2c5..2792e92b66d 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 6d3ab26f2c539cbeff152040fa1ea716df6a21ad +Subproject commit 2792e92b66d762c955a5f65e813521d508ab43b2