diff --git a/pact/Pact b/pact/Pact_proposition similarity index 100% rename from pact/Pact rename to pact/Pact_proposition