From 117eddafd68c815d058abd2d1112d745337b55ea Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 12 May 2017 20:31:00 +0200 Subject: [PATCH] AutGroup is a FPGroup --- src/AutGroup.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/AutGroup.jl b/src/AutGroup.jl index 2fac4c6..5abae1b 100644 --- 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