diff --git a/OrbitDecomposition.jl b/OrbitDecomposition.jl
index 4ce7530..831c4fb 100644
--- a/OrbitDecomposition.jl
+++ b/OrbitDecomposition.jl
@@ -5,6 +5,7 @@ using Groups
 using WreathProducts
 
 using GroupRings
+using PropertyT
 
 import Nemo.elements