From 657a051062442556b717be14a138fc3623a7c7c2 Mon Sep 17 00:00:00 2001
From: Michael George <mdgeorge@cs.cornell.edu>
Date: Thu, 26 May 2022 14:46:14 -0400
Subject: [PATCH] replaced burn with generic function

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

diff --git a/certora/specs/ERC1155Burnable.spec b/certora/specs/ERC1155Burnable.spec
index 344d25380..3fd4caf7d 100644
--- a/certora/specs/ERC1155Burnable.spec
+++ b/certora/specs/ERC1155Burnable.spec
@@ -9,8 +9,8 @@ rule onlyApprovedCanReduceBalance {
     address holder; uint256 token; uint256 amount;
     uint256 balanceBefore = balanceOf(holder, token);
 
-    env e;
-    burn(e, holder, token, amount); // TODO Replace burn with appropriate general function
+    method f; env e; calldataarg args;
+    f(e, args);
 
     uint256 balanceAfter = balanceOf(holder, token);
 
@@ -25,4 +25,4 @@ rule sanity {
 
     assert false, 
         "This rule should always fail";
-}
\ No newline at end of file
+}