Update failing test output.

boogie-org · Aug 3, 2023 · 89643d8 · 89643d8
1 parent 2f21837
commit 89643d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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