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

leanprover · Aug 9, 2019 · 5b296cb · 5b296cb
1 parent 3ed6713
commit 5b296cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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