diff --git a/.nix/config.nix b/.nix/config.nix
index df16518a..b2bb15c8 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;
     };