diff --git a/collects/tests/mred/prog.mre b/collects/tests/mred/prog6.mre
similarity index 100%
rename from collects/tests/mred/prog.mre
rename to collects/tests/mred/prog6.mre