diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 32d4897..763a8f9 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -4,7 +4,7 @@ using Nemo
 using Groups
 using GroupRings
 
-import Nemo: Group, GroupElem, Ring
+import Nemo: Group, GroupElem, Ring, Generic.perm
 
 using JLD
 using JuMP