fix nix

LPCIC · Dec 8, 2023 · e66f2d6 · e66f2d6
1 parent 4a852c0
commit e66f2d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -10,7 +10,7 @@
       hierarchy-builder.override.version = "coq-elpi-2";
       hierarchy-builder-shim.job = false;
 
-      coq-elpi.override.version = "fix-synterp";
+      coq-elpi.override.version = "master";
 
       mathcomp.override.version = "master";
       mathcomp.job = true;