From ca0d3363b8bdcfbeeb67b6b089f616f4443b7ce1 Mon Sep 17 00:00:00 2001
From: Thomas Adams <thomas.harlan.adams@gmail.com>
Date: Fri, 27 May 2022 13:34:24 -0700
Subject: [PATCH] Revised rule description to be more accurate

---
 certora/specs/ERC1155Burnable.spec | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/certora/specs/ERC1155Burnable.spec b/certora/specs/ERC1155Burnable.spec
index 5f2ef94d2..059dae2a8 100644
--- a/certora/specs/ERC1155Burnable.spec
+++ b/certora/specs/ERC1155Burnable.spec
@@ -4,8 +4,7 @@ methods {
 }
 
 /// If a method call reduces account balances, the caller must be either the 
-/// holder of the account or approved by the holder to act on the holder's 
-/// behalf.
+/// holder of the account or approved to act on the holder's behalf.
 rule onlyHolderOrApprovedCanReduceBalance {
     address holder; uint256 token; uint256 amount;
     uint256 balanceBefore = balanceOf(holder, token);