From 89643d87e0a26bcc195475f4341e824b24616b32 Mon Sep 17 00:00:00 2001
From: Zafer Esen <zesen@amazon.com>
Date: Thu, 3 Aug 2023 16:21:38 -0400
Subject: [PATCH] Update failing test output.

---
 Test/prover/z3mutl.bpl.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Test/prover/z3mutl.bpl.expect b/Test/prover/z3mutl.bpl.expect
index 54c54de39..2e3268fb1 100644
--- a/Test/prover/z3mutl.bpl.expect
+++ b/Test/prover/z3mutl.bpl.expect
@@ -1,7 +1,7 @@
 z3mutl.bpl(22,5): Error: this assertion could not be proved
 Execution trace:
     z3mutl.bpl(7,1): start
-    z3mutl.bpl(13,1): L2
+    z3mutl.bpl(16,1): L3
     z3mutl.bpl(22,1): L5
 
 Boogie program verifier finished with 0 verified, 1 error