diff --git a/library/data/perm.lean b/library/data/list/perm.lean
similarity index 99%
rename from library/data/perm.lean
rename to library/data/list/perm.lean
index 8b2d50e28..021836583 100644
--- a/library/data/perm.lean
+++ b/library/data/list/perm.lean
@@ -2,12 +2,12 @@
 Copyright (c) 2015 Microsoft Corporation. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 
-Module: data.perm
+Module: data.list.perm
 Author: Leonardo de Moura
 
 List permutations
 -/
-import data.list
+import data.list.basic
 open list setoid nat
 
 variables {A B : Type}