Fix format

model-checking · Sep 22, 2024 · 0bd9708 · 0bd9708
1 parent 4cc0833
commit 0bd9708
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/intrinsic.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/intrinsic.rs
@@ -1255,7 +1255,7 @@ impl<'tcx> GotocCtx<'tcx> {
                     TyKind::RigidTy(RigidTy::Uint(UintTy::U32))
                 )
             {
-                self.simd_size_and_type(farg_types[2]).0.try_into().unwrap()
+                self.simd_size_and_type(farg_types[2]).0
             } else {
                 let err_msg = format!(
                     "simd_shuffle index must be a SIMD vector of `u32`, got `{}`",