From b10a2b8cd3d077e1bd9b47a1d53d8e46214db97d Mon Sep 17 00:00:00 2001
From: Thomas Adams <thomas.harlan.adams@gmail.com>
Date: Fri, 3 Jun 2022 13:56:46 -0700
Subject: [PATCH] Added burn and burnBatch to filtered block of
 unexpectedBalanceChange

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

diff --git a/certora/specs/ERC1155.spec b/certora/specs/ERC1155.spec
index 9b5839031..bb158117d 100644
--- a/certora/specs/ERC1155.spec
+++ b/certora/specs/ERC1155.spec
@@ -90,7 +90,9 @@ rule unexpectedBalanceChange(method f, env e)
                         && f.selector != _mint(address, uint256, uint256, bytes).selector 
                         && f.selector != _mintBatch(address, uint256[], uint256[], bytes).selector  
                         && f.selector != _burn(address, uint256, uint256).selector 
-                        && f.selector != _burnBatch(address, uint256[], uint256[]).selector } {
+                        && f.selector != _burnBatch(address, uint256[], uint256[]).selector 
+                        && f.selector != burn(address, uint256, uint256).selector 
+                        && f.selector != burnBatch(address, uint256[], uint256[]).selector } {
     address from; uint256 id;
     uint256 balanceBefore = balanceOf(from, id);