From 018c58219fb25ceb516348d493cb50435ea77ad5 Mon Sep 17 00:00:00 2001
From: Thomas Adams <thomas.harlan.adams@gmail.com>
Date: Tue, 31 May 2022 13:59:46 -0700
Subject: [PATCH] Updated 1155 Pausable and Supply scripts to first run make
 munged

---
 certora/scripts/verifyERC1155Pausable.sh | 2 ++
 certora/scripts/verifyERC1155Supply.sh   | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/certora/scripts/verifyERC1155Pausable.sh b/certora/scripts/verifyERC1155Pausable.sh
index fe7d1a024..69a2bc527 100755
--- a/certora/scripts/verifyERC1155Pausable.sh
+++ b/certora/scripts/verifyERC1155Pausable.sh
@@ -1,3 +1,5 @@
+make -C certora munged
+
 certoraRun \
     certora/harnesses/ERC1155/ERC1155PausableHarness.sol \
     --verify ERC1155PausableHarness:certora/specs/ERC1155Pausable.spec \
diff --git a/certora/scripts/verifyERC1155Supply.sh b/certora/scripts/verifyERC1155Supply.sh
index dba264693..20552f216 100755
--- a/certora/scripts/verifyERC1155Supply.sh
+++ b/certora/scripts/verifyERC1155Supply.sh
@@ -1,3 +1,5 @@
+make -C certora munged
+
 certoraRun \
     certora/harnesses/ERC1155/ERC1155SupplyHarness.sol \
     --verify ERC1155SupplyHarness:certora/specs/ERC1155Supply.spec \