From 10f5d8d942f5d625e8383c0b7694c2c9ec0b1a99 Mon Sep 17 00:00:00 2001
From: Thomas Adams <thomas.harlan.adams@gmail.com>
Date: Tue, 31 May 2022 13:54:54 -0700
Subject: [PATCH] Updated verifyERC1155Burnable.sh to first run make munged

---
 certora/scripts/verifyERC1155Burnable.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/certora/scripts/verifyERC1155Burnable.sh b/certora/scripts/verifyERC1155Burnable.sh
index 22187e5dd..e5da5470e 100644
--- a/certora/scripts/verifyERC1155Burnable.sh
+++ b/certora/scripts/verifyERC1155Burnable.sh
@@ -1,3 +1,5 @@
+make -C certora munged
+
 certoraRun \
     certora/harnesses/ERC1155/ERC1155BurnableHarness.sol \
     --verify ERC1155BurnableHarness:certora/specs/ERC1155Burnable.spec \