From 0891f28c6faa5400ded6155fff917371b3c3184d Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 11 May 2017 18:30:03 +0200 Subject: [PATCH] include FPGroups.jl in Groups --- src/Groups.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Groups.jl b/src/Groups.jl index 1bb6c3a..4253c46 100644 --- a/src/Groups.jl +++ b/src/Groups.jl @@ -324,6 +324,7 @@ replace_all(W::GWord, subst_dict::Dict{GWord, GWord}) = replace_all!(deepcopy(W) # ############################################################################### +include("FPGroups.jl") include("automorphism_groups.jl") end # of module Groups