chore: fix test

2020-06-17 18:07:44 +02:00 · 2020-06-17 18:07:44 +02:00 · 0f0f1407af
commit 0f0f1407af
parent 9739356b91
1 changed files with 1 additions and 1 deletions
--- a/tests/lean/precissues.lean.expected.out
+++ b/tests/lean/precissues.lean.expected.out
@ -8,7 +8,7 @@ precissues.lean:15:10: error: expected command
 1 : Nat
 id ((λ (this : True), this) True.intro) : True
 0=(λ (this : Nat), this) 1 : Prop
-0=let x : Nat := 0 in x : Prop
+0=let x : Nat := 0; x : Prop
 p↔¬q : Prop
 True=¬False : Prop
 p∧¬q : Prop