diff --git a/FiniteSets/fsets/length.v b/FiniteSets/list_representation/length.v
similarity index 100%
rename from FiniteSets/fsets/length.v
rename to FiniteSets/list_representation/length.v