chore(tests/lean/ll_infer_type_bug): fix partial file manually

2019-08-09 11:10:33 +02:00 · 2019-08-09 11:10:33 +02:00 · 5b296cbb33
commit 5b296cbb33
parent 3ed67138d5
1 changed files with 2 additions and 2 deletions
--- a/tests/lean/ll_infer_type_bug.lean
+++ b/tests/lean/ll_infer_type_bug.lean
@ -1,6 +1,6 @@
 def f : List Nat → Bool
-| []      := false
-| (a::as) := a > 0 && f as
+| []      => false
+| (a::as) => a > 0 && f as

 #check f._main._cstage2