From 54488c8eac481f736c01e4f09beb9f267ed532bb Mon Sep 17 00:00:00 2001
From: Yoshiki Takashima <ytakashl@amazon.com>
Date: Thu, 8 Jun 2023 08:49:14 -0400
Subject: [PATCH] Reduced unit test: Tracking issue: #2509

---
 tests/script-based-pre/playback_zero_size/original.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tests/script-based-pre/playback_zero_size/original.rs b/tests/script-based-pre/playback_zero_size/original.rs
index 1a953f96d570..a1c562599709 100644
--- a/tests/script-based-pre/playback_zero_size/original.rs
+++ b/tests/script-based-pre/playback_zero_size/original.rs
@@ -5,7 +5,5 @@
 #[kani::proof]
 fn any_is_ok() {
     let unit: () = kani::any();
-    let unit2: () = kani::any();
     kani::cover!(unit == ());
-    kani::cover!(unit2 == ());
 }