Update shell.nix

jwiegley · Sep 22, 2023 · 97fbe8c · 97fbe8c
1 parent 78e1449
commit 97fbe8c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/shell.nix b/shell.nix
@@ -1,3 +1,2 @@
-args@{ version ? "category-theory_cur", pkgs ? null }:
 args@{ version ? "category-theory_8_15", pkgs ? null }:
 (import ./default.nix (if pkgs == null then {} else { inherit pkgs; })).${version}