From ad460c84ced2f6c9afeb5024bfa075ced17318f7 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 6 Apr 2021 14:38:00 +0200
Subject: [PATCH] chore: Nix: allow editing src/Leanpkg

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

diff --git a/nix/packages.nix b/nix/packages.nix
index f57e242b74..80321a7e23 100644
--- a/nix/packages.nix
+++ b/nix/packages.nix
@@ -100,7 +100,7 @@ let
 in {
   inherit cc lean4-mode buildLeanPackage llvmPackages;
   lean = lean.stage1;
-  stage0print-paths = lean.stage1.Lean.print-paths;
+  stage0print-paths = lean.stage1.Leanpkg.print-paths;
   HEAD-as-stage0 = (lean.stage1.Lean.overrideArgs { srcTarget = "..#stage0-from-input.stage0"; srcArgs = "(--override-input lean-stage0 ..\?rev=$(git rev-parse HEAD) -- -Dinterpreter.prefer_native=false \"$@\")"; });
   HEAD-as-stage1 = (lean.stage1.Lean.overrideArgs { srcTarget = "..\?rev=$(git rev-parse HEAD)#stage0"; });
   temci = (import temci {}).override { doCheck = false; };