tests/lean/introLetBug.lean.expected.out

introLetBug.lean:2:0-2:7: warning: declaration uses 'sorry'
k : Nat
this : f 10 = 11
x : Nat := 10
⊢ 11 = k
k : Nat
this : f 10 = 11
⊢ let x := 10;
  11 = k