From d936afbcdd53154bb9cd6e1e9f508cf837bc024f Mon Sep 17 00:00:00 2001
From: Federico Poli <fpoli@users.noreply.github.com>
Date: Wed, 24 Jan 2024 14:28:13 +0100
Subject: [PATCH] Update expected counterexample

---
 prusti-tests/tests/verify/ui/counterexamples/enums-6.stderr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prusti-tests/tests/verify/ui/counterexamples/enums-6.stderr b/prusti-tests/tests/verify/ui/counterexamples/enums-6.stderr
index 47593dd15a4..e0bfc696535 100644
--- a/prusti-tests/tests/verify/ui/counterexamples/enums-6.stderr
+++ b/prusti-tests/tests/verify/ui/counterexamples/enums-6.stderr
@@ -54,7 +54,7 @@ note: counterexample for "f"
 15 |         BinOp::Div(e, f) => {
    |                       ^
 note: counterexample for result
-        final value:   0
+        final value:   ?
   --> $DIR/enums-6.rs:11:24
    |
 11 | fn apply(op: BinOp) -> i32 {