diff --git a/collects/frtime/frtime-no-mred.ss b/collects/frtime/frtime-lang-only.ss
similarity index 100%
rename from collects/frtime/frtime-no-mred.ss
rename to collects/frtime/frtime-lang-only.ss