diff --git a/tests/lean/wf1.lean.expected.out b/tests/lean/wf1.lean.expected.out
index b960dad445..f3a3afaa9e 100644
--- a/tests/lean/wf1.lean.expected.out
+++ b/tests/lean/wf1.lean.expected.out
@@ -11,4 +11,4 @@ argument #2 was not used for structural recursion
 
 structural recursion cannot be used
 
-well-founded recursion cannot be used, function 'g' contains application of function 'g' with #1 argument(s), but function has arity 2
+'termination_by' modifier missing