chore(tests/lean/run/nested_common_subexpr_issue): typo

2017-01-09 15:36:49 -08:00 · 2017-01-09 15:36:49 -08:00 · b89b1dd4c7
commit b89b1dd4c7
parent 7d540b6d02
1 changed files with 1 additions and 1 deletions
--- a/tests/lean/run/nested_common_subexpr_issue.lean
+++ b/tests/lean/run/nested_common_subexpr_issue.lean
@ -14,4 +14,4 @@ def fib_aux2 : ℕ → ℕ × ℕ

 def fib2 n := (fib_aux2 n).2

-vm_eval fib 10000
+vm_eval fib2 10000