Fix test message

remi-delmas-3000 · remi-delmas-3000 · commit bc9a8579776b · 2025-03-04T21:40:29.000Z
diff --git a/tests/expected/arbitrary/ptrs/pointer_generator_error.expected b/tests/expected/arbitrary/ptrs/pointer_generator_error.expected
@@ -1,6 +1,6 @@
 error[E0080]: evaluation of `kani::PointerGenerator::<0>::VALID` failed\
 
-the evaluated program panicked at 'PointerGenerator requires at least one byte.'
+evaluation panicked: PointerGenerator requires at least one byte.\
 
 note: the above error was encountered while instantiating `fn kani::PointerGenerator::<0>::new`\
 pointer_generator_error.rs\
