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