diff --git a/collects/typed-scheme/rep/effect-rep.ss b/collects/typed-scheme/rep/filter-rep.ss similarity index 100% rename from collects/typed-scheme/rep/effect-rep.ss rename to collects/typed-scheme/rep/filter-rep.ss