Fix test text

model-checking · Mar 4, 2025 · d67ed30 · d67ed30
1 parent 1192a03
commit d67ed30
Showing 1 changed file with 1 addition and 1 deletion.
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\