Skip to content

Commit 15f6691

Browse files
tydeukim-em
andcommitted
fix(Cache): print ProofWidgets build stdout on error (leanprover-community#33651)
Fixes a typo in the code for printing the output of failed `lake build` of the ProofWidgets fetch in `lake exe cache`. It will no properly print stdout rather than stderr under the `lake stdout:` heading. Co-authored-by: Kim Morrison <kim@tqft.net>
1 parent e86c41d commit 15f6691

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Cache/Requests.lean

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -466,7 +466,7 @@ where
466466
printLakeOutput out := do
467467
unless out.stdout.isEmpty do
468468
IO.eprintln "lake stdout:"
469-
IO.eprint out.stderr
469+
IO.eprint out.stdout
470470
unless out.stderr.isEmpty do
471471
IO.eprintln "lake stderr:"
472472
IO.eprint out.stderr

0 commit comments

Comments
 (0)