From 75d6f5a42cc773ea07f24420709dbf754b2d5123 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Wed, 3 May 2023 17:52:59 +0200
Subject: [PATCH] move Governor.helpers.spec to helpers folder

---
 certora/specs/GovernorBaseRules.spec              | 4 ++--
 certora/specs/GovernorChanges.spec                | 4 ++--
 certora/specs/GovernorFunctions.spec              | 4 ++--
 certora/specs/GovernorInvariants.spec             | 4 ++--
 certora/specs/GovernorPreventLateQuorum.spec      | 4 ++--
 certora/specs/GovernorStates.spec                 | 4 ++--
 certora/specs/{ => helpers}/Governor.helpers.spec | 0
 7 files changed, 12 insertions(+), 12 deletions(-)
 rename certora/specs/{ => helpers}/Governor.helpers.spec (100%)

diff --git a/certora/specs/GovernorBaseRules.spec b/certora/specs/GovernorBaseRules.spec
index d1dc29581..2f206de22 100644
--- a/certora/specs/GovernorBaseRules.spec
+++ b/certora/specs/GovernorBaseRules.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 import "GovernorInvariants.spec"
 
 use invariant proposalStateConsistency
diff --git a/certora/specs/GovernorChanges.spec b/certora/specs/GovernorChanges.spec
index bce702156..294050035 100644
--- a/certora/specs/GovernorChanges.spec
+++ b/certora/specs/GovernorChanges.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 import "GovernorInvariants.spec"
 
 use invariant proposalStateConsistency
diff --git a/certora/specs/GovernorFunctions.spec b/certora/specs/GovernorFunctions.spec
index fd6ea4191..11560bdd7 100644
--- a/certora/specs/GovernorFunctions.spec
+++ b/certora/specs/GovernorFunctions.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 import "GovernorInvariants.spec"
 
 use invariant proposalStateConsistency
diff --git a/certora/specs/GovernorInvariants.spec b/certora/specs/GovernorInvariants.spec
index b4325ba36..255c5c344 100644
--- a/certora/specs/GovernorInvariants.spec
+++ b/certora/specs/GovernorInvariants.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 
 /*
 ┌─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┐
diff --git a/certora/specs/GovernorPreventLateQuorum.spec b/certora/specs/GovernorPreventLateQuorum.spec
index 97f4c8f6f..c12f6ae8a 100644
--- a/certora/specs/GovernorPreventLateQuorum.spec
+++ b/certora/specs/GovernorPreventLateQuorum.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 import "GovernorInvariants.spec"
 
 methods {
diff --git a/certora/specs/GovernorStates.spec b/certora/specs/GovernorStates.spec
index 891b42e5c..2b1746bd3 100644
--- a/certora/specs/GovernorStates.spec
+++ b/certora/specs/GovernorStates.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 import "GovernorInvariants.spec"
 
 use invariant proposalStateConsistency
diff --git a/certora/specs/Governor.helpers.spec b/certora/specs/helpers/Governor.helpers.spec
similarity index 100%
rename from certora/specs/Governor.helpers.spec
rename to certora/specs/helpers/Governor.helpers.spec