diff --git a/tests/expected/function-contract/modifies/expr_replace_fail.expected b/tests/expected/function-contract/modifies/expr_replace_fail.expected
index 4ea7c000a8bc..f8019df2927c 100644
--- a/tests/expected/function-contract/modifies/expr_replace_fail.expected
+++ b/tests/expected/function-contract/modifies/expr_replace_fail.expected
@@ -1,7 +1,7 @@
 main.assertion\
 - Status: FAILURE\
-- Description: "Increment"
+- Description: ""Increment""
 
-Failed Checks: Increment
+Failed Checks: "Increment"
 
 VERIFICATION:- FAILED