From 4bd758377edbb53d2081cc5693e475341bafc5cd Mon Sep 17 00:00:00 2001
From: Justus Adam <justbldr@amazon.com>
Date: Tue, 30 Jan 2024 15:55:53 -0500
Subject: [PATCH] Fix test case

---
 .../function-contract/modifies/expr_replace_fail.expected     | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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