diff --git a/tests/expected/function-contract/modifies/havoc_pass.expected b/tests/expected/function-contract/modifies/havoc_pass.expected
index d5679f71b74c..f7bbb8202c46 100644
--- a/tests/expected/function-contract/modifies/havoc_pass.expected
+++ b/tests/expected/function-contract/modifies/havoc_pass.expected
@@ -7,7 +7,7 @@ VERIFICATION:- SUCCESSFUL
 
 .assigns\
 - Status: SUCCESS\
-- Description: "Check that var_4 is assignable"\
+- Description: "Check that *dst is assignable"\
 in function copy
 
 VERIFICATION:- SUCCESSFUL
diff --git a/tests/expected/function-contract/modifies/havoc_pass_reordered.expected b/tests/expected/function-contract/modifies/havoc_pass_reordered.expected
index 2ea601aa26a0..7036111c76bf 100644
--- a/tests/expected/function-contract/modifies/havoc_pass_reordered.expected
+++ b/tests/expected/function-contract/modifies/havoc_pass_reordered.expected
@@ -7,7 +7,7 @@ VERIFICATION:- SUCCESSFUL
 
 copy.assigns\
 - Status: SUCCESS\
-- Description: "Check that var_5 is assignable"\
+- Description: "Check that *dst is assignable"\
 in function copy
 
 VERIFICATION:- SUCCESSFUL