From 1f2c8e1c9190e336cac832d90bb7a6a48c777c04 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 14 Jun 2023 14:44:43 +0200
Subject: [PATCH] [CI] Fix config

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

diff --git a/.nix/config.nix b/.nix/config.nix
index df16518a1..b2bb15c85 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -15,7 +15,7 @@
       mathcomp-finmap.override.version = "master";
       mathcomp.analyis.override.version = "hierarchy-builder";
       interval.override.version = "master";
-      reglang.override.version = "hierarchy-builder";
+      reglang.override.version = "master";
       coq-bits.override.version = "hierarchy-builder";
       deriving.job = false;
     };