[CI] Fix config

math-comp · Jun 14, 2023 · 1f2c8e1 · 1f2c8e1
1 parent b9cd711
commit 1f2c8e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;
     };