From bdadac33f46933196be55dacef65118d241a3968 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Fri, 17 Nov 2017 15:28:11 +0100
Subject: [PATCH] import Generic.perm

---
 src/PropertyT.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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