diff --git a/repeat.dfy b/Repeat.dfy
similarity index 100%
rename from repeat.dfy
rename to Repeat.dfy