From 65ab8e9ac4dbec443bce037eb07b58f4c2538670 Mon Sep 17 00:00:00 2001
From: Thomas Adams <thomas.harlan.adams@gmail.com>
Date: Tue, 7 Jun 2022 17:51:27 -0700
Subject: [PATCH] Changed rule transfersHaveSameLengthInputArrays (passing) to
 use _ instead of holder

---
 certora/specs/ERC1155.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/certora/specs/ERC1155.spec b/certora/specs/ERC1155.spec
index ee899b9d4..bd88e8c09 100644
--- a/certora/specs/ERC1155.spec
+++ b/certora/specs/ERC1155.spec
@@ -861,14 +861,14 @@ rule multipleTokenSafeTransferFromSafeBatchTransferFromEquivalence {
 rule transfersHaveSameLengthInputArrays {
     env e;
 
-    address holder; address recipient; bytes data;
+    address recipient; bytes data;
     uint256[] tokens; uint256[] transferAmounts;
     uint max_int = 0xffffffffffffffffffffffffffffffff;
 
     require tokens.length >= 0 && tokens.length <= max_int;
     require transferAmounts.length >= 0 && transferAmounts.length <= max_int;
 
-    safeBatchTransferFrom(e, holder, recipient, tokens, transferAmounts, data);
+    safeBatchTransferFrom(e, _, recipient, tokens, transferAmounts, data);
 
     uint256 tokensLength = tokens.length;
     uint256 transferAmountsLength = transferAmounts.length;