From e2198623d612b01e44f35e48585469beaaf0e7f3 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Tue, 6 Jun 2017 16:20:44 +0200
Subject: [PATCH] using PropertyT

---
 OrbitDecomposition.jl | 1 +
 1 file changed, 1 insertion(+)

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