diff --git a/nix/sources.json b/nix/sources.json
index 085757d6bd1478f3e88eefa4b4365d295a2e8018..f88cc85ea5836aba1279476bd7f3846865c1f747 100644
--- a/nix/sources.json
+++ b/nix/sources.json
@@ -45,7 +45,7 @@
     "combinetura": {
         "branch": "master",
         "repo": "git@git.frama-c.com:dev/combinetura.git",
-        "rev": "7e44888e80c34d560da20a220c0ac1ab2126ff0f",
+        "rev": "91918a91271d38df3b5223fa40898ca329779407",
         "type": "git",
         "version": "0.0"
     }