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_)
+    {}
+}
+