diff --git a/tests/lean/letRecMissingAnnotation.lean.expected.out b/tests/lean/letRecMissingAnnotation.lean.expected.out
index 06403ceb7b..4fdcd69221 100644
--- a/tests/lean/letRecMissingAnnotation.lean.expected.out
+++ b/tests/lean/letRecMissingAnnotation.lean.expected.out
@@ -1,4 +1,4 @@
-letRecMissingAnnotation.lean:4:6-4:34: error: unsolved goals
+letRecMissingAnnotation.lean:4:6-4:34: error: tactic 'assumption' failed, 
 as : Array Nat
 i s : Nat
 h : i < Array.size as
diff --git a/tests/lean/wf2.lean.expected.out b/tests/lean/wf2.lean.expected.out
index 54860035bb..6ccd951633 100644
--- a/tests/lean/wf2.lean.expected.out
+++ b/tests/lean/wf2.lean.expected.out
@@ -1,3 +1,3 @@
-wf2.lean:3:8-3:17: error: unsolved goals
+wf2.lean:3:8-3:17: error: tactic 'assumption' failed, 
 x y : Nat
 ⊢ x - 1 < x