diff --git a/flake.nix b/flake.nix
index 6d6f8ea4b8..e5aac49b5d 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.100";
+      url = "github:runtimeverification/haskell-backend/v0.1.101";
       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 dd733900ea..0a9f66963e 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit dd733900eafe1b22b26f5d017b92788cf681d5c7
+Subproject commit 0a9f66963ea3e13bcec32f5d2c4f480bf0acf65e