From b89b1dd4c7bd3d5e041da5bd0a2202e5eb79b339 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 9 Jan 2017 15:36:49 -0800 Subject: [PATCH] chore(tests/lean/run/nested_common_subexpr_issue): typo --- tests/lean/run/nested_common_subexpr_issue.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/lean/run/nested_common_subexpr_issue.lean b/tests/lean/run/nested_common_subexpr_issue.lean index 8dd06e4b38..a824c9ae64 100644 --- 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