import Generic.perm

2017-11-17 15:28:11 +01:00 · 2017-11-17 15:28:11 +01:00 · bdadac33f4
parent 498a6700ec
commit bdadac33f4
1 changed files with 1 additions and 1 deletions
--- 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