Update prover baseline

aptos-labs · Apr 12, 2024 · 4fa81cc · 4fa81cc
1 parent 7ec123f
commit 4fa81cc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/third_party/move/move-prover/tests/sources/functional/data_invariant_for_mut_ref_arg.v2_exp b/third_party/move/move-prover/tests/sources/functional/data_invariant_for_mut_ref_arg.v2_exp
@@ -27,6 +27,7 @@ error: data invariant does not hold
   =         s = <redacted>
   =     at tests/sources/functional/data_invariant_for_mut_ref_arg.move:27: push_2
   =     at tests/sources/functional/data_invariant_for_mut_ref_arg.move:28: push_2
+  =         s = <redacted>
   =     at tests/sources/functional/data_invariant_for_mut_ref_arg.move:22: push_2
   =         s = <redacted>
   =     at tests/sources/functional/data_invariant_for_mut_ref_arg.move:8