AutGroup is a FPGroup

2017-05-12 20:31:00 +02:00 · 2017-05-12 20:31:00 +02:00 · 117eddafd6
parent a886929948
commit 117eddafd6
1 changed files with 1 additions and 1 deletions
--- a/src/AutGroup.jl
+++ b/src/AutGroup.jl
@ -17,7 +17,7 @@ end

 typealias AutGroupElem GWord{AutSymbol}

-type AutGroup <: Group
+type AutGroup <: FPGroup
   objectGroup::Group
   generators::Vector{AutSymbol}
 end