From 7a2b502b9c1fd15b4c1acb98540a53ade862469d Mon Sep 17 00:00:00 2001
From: Thomas Adams <tadams_certora@Thomass-MacBook-Pro-2.local>
Date: Mon, 23 May 2022 09:32:50 -0700
Subject: [PATCH] Added harness for ERC1155Burnable

---
 certora/harnesses/ERC1155/ERC1155BurnableHarness.sol | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 certora/harnesses/ERC1155/ERC1155BurnableHarness.sol

diff --git a/certora/harnesses/ERC1155/ERC1155BurnableHarness.sol b/certora/harnesses/ERC1155/ERC1155BurnableHarness.sol
new file mode 100644
index 000000000..5f7fbd706
--- /dev/null
+++ b/certora/harnesses/ERC1155/ERC1155BurnableHarness.sol
@@ -0,0 +1,8 @@
+import "../../munged/token/ERC1155/extensions/ERC1155Burnable.sol";
+
+contract ERC1155BurnableHarness is ERC1155Burnable {
+    constructor(string memory uri_)
+        ERC1155(uri_)
+    {}
+}
+