diff --git a/tests/kani/Projection/slice_slice_projection.rs b/tests/kani/Projection/slice_slice_projection.rs
index 350c3839cbc6..6bfa62c2f6df 100644
--- a/tests/kani/Projection/slice_slice_projection.rs
+++ b/tests/kani/Projection/slice_slice_projection.rs
@@ -1,6 +1,5 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-// kani-verify-fail
 // kani-flags: --default-unwind 5
 
 //! This test case checks the usage of slices of slices (&[&[T]]).