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