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 {