From 380b87dc0cbe3d9c3b8abc6a385f5958db67b0ff Mon Sep 17 00:00:00 2001
From: Michael George <mdgeorge@cs.cornell.edu>
Date: Wed, 1 Dec 2021 10:13:42 -0500
Subject: [PATCH] switched harnesses to use munged contracts

---
 certora/harnesses/ERC20VotesHarness.sol          |  2 +-
 certora/harnesses/WizardControlFirstPriority.sol | 12 ++++++------
 certora/harnesses/WizardFirstTry.sol             | 10 +++++-----
 3 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/certora/harnesses/ERC20VotesHarness.sol b/certora/harnesses/ERC20VotesHarness.sol
index 818a2ab0f..5067ecfba 100644
--- a/certora/harnesses/ERC20VotesHarness.sol
+++ b/certora/harnesses/ERC20VotesHarness.sol
@@ -1,4 +1,4 @@
-import "../../contracts/token/ERC20/extensions/ERC20Votes.sol";
+import "../munged/token/ERC20/extensions/ERC20Votes.sol";
 
 contract ERC20VotesHarness is ERC20Votes {
     constructor(string memory name, string memory symbol) ERC20Permit(name) ERC20(name, symbol) {}
diff --git a/certora/harnesses/WizardControlFirstPriority.sol b/certora/harnesses/WizardControlFirstPriority.sol
index 5e2eff17f..5ae7fe066 100644
--- a/certora/harnesses/WizardControlFirstPriority.sol
+++ b/certora/harnesses/WizardControlFirstPriority.sol
@@ -1,12 +1,12 @@
 // SPDX-License-Identifier: MIT
 pragma solidity ^0.8.2;
 
-import "../../contracts/governance/Governor.sol";
-import "../../contracts/governance/extensions/GovernorCountingSimple.sol";
-import "../../contracts/governance/extensions/GovernorVotes.sol";
-import "../../contracts/governance/extensions/GovernorVotesQuorumFraction.sol";
-import "../../contracts/governance/extensions/GovernorTimelockControl.sol";
-import "../../contracts/governance/extensions/GovernorProposalThreshold.sol";
+import "../munged/governance/Governor.sol";
+import "../munged/governance/extensions/GovernorCountingSimple.sol";
+import "../munged/governance/extensions/GovernorVotes.sol";
+import "../munged/governance/extensions/GovernorVotesQuorumFraction.sol";
+import "../munged/governance/extensions/GovernorTimelockControl.sol";
+import "../munged/governance/extensions/GovernorProposalThreshold.sol";
 
 /* 
 Wizard options:
diff --git a/certora/harnesses/WizardFirstTry.sol b/certora/harnesses/WizardFirstTry.sol
index 026e3d041..83fece04f 100644
--- a/certora/harnesses/WizardFirstTry.sol
+++ b/certora/harnesses/WizardFirstTry.sol
@@ -1,11 +1,11 @@
 // SPDX-License-Identifier: MIT
 pragma solidity ^0.8.2;
 
-import "../../contracts/governance/Governor.sol";
-import "../../contracts/governance/extensions/GovernorCountingSimple.sol";
-import "../../contracts/governance/extensions/GovernorVotes.sol";
-import "../../contracts/governance/extensions/GovernorVotesQuorumFraction.sol";
-import "../../contracts/governance/extensions/GovernorTimelockCompound.sol";
+import "../munged/governance/Governor.sol";
+import "../munged/governance/extensions/GovernorCountingSimple.sol";
+import "../munged/governance/extensions/GovernorVotes.sol";
+import "../munged/governance/extensions/GovernorVotesQuorumFraction.sol";
+import "../munged/governance/extensions/GovernorTimelockCompound.sol";
 
 /* 
 Wizard options: