diff --git a/problems/sedov.in b/problems/sedov-taylor.in similarity index 100% rename from problems/sedov.in rename to problems/sedov-taylor.in