From 89d373e3f304bd10e5d8b966dd230ca8791e9587 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 20 Sep 2024 13:32:51 +0200
Subject: [PATCH] [HACK] nix overlay for HB

---
 .nix/config.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.nix/config.nix b/.nix/config.nix
index c77e3a2e1..ffb43c74a 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -30,6 +30,7 @@ let master = [
     "coq-8.20" = {
       coqPackages = common-bundles // {
         coq.override.version = "8.20";
+        hierarchy-builder.override.version = "new_elpi_resolver";
       };
       ocamlPackages = {
         elpi.override.version = "v1.19.5";