From 1bd2d7fe2513ef9b42e89b6c22ca78825eac4a86 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 12 May 2017 20:15:03 +0200 Subject: [PATCH] update includes --- src/Groups.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Groups.jl b/src/Groups.jl index 54bd806..dd5c4a8 100644 --- a/src/Groups.jl +++ b/src/Groups.jl @@ -336,7 +336,7 @@ replace_all(W::GWord, subst_dict::Dict{GWord, GWord}) = replace_all!(deepcopy(W) # ############################################################################### -include("FPGroups.jl") -include("automorphism_groups.jl") +include("FreeGroup.jl") +include("AutGroup.jl") end # of module Groups