diff --git a/flake.lock b/flake.lock
index a9e14958464..759fe0879a0 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1702904670,
-        "narHash": "sha256-L8xllWqD72JUF/0YTgmSFA0voI2PLbWVGcX8JjOfTJc=",
+        "lastModified": 1702938324,
+        "narHash": "sha256-rqdesJe7VSbVHgsVE/Ff6Rc/KW8BfTXoSZ80AwtePZA=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "ad469900f0551af07c7a5dc64ac5c9297012fb2c",
+        "rev": "edfffbc216b66d91aead1c0d184f8cba4a34ad10",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "ad469900f0551af07c7a5dc64ac5c9297012fb2c",
+        "rev": "edfffbc216b66d91aead1c0d184f8cba4a34ad10",
         "type": "github"
       }
     },