diff --git a/domains/SpEcHiDe.json b/domains/spechide.json similarity index 100% rename from domains/SpEcHiDe.json rename to domains/spechide.json