From 08ebec118f627a5b9dfdd07cfc69bf17550975d6 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 5 Jul 2017 16:22:50 +0200 Subject: [PATCH] formatting --- src/Groups.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Groups.jl b/src/Groups.jl index e8a219c..64d5c3a 100644 --- a/src/Groups.jl +++ b/src/Groups.jl @@ -345,7 +345,7 @@ function replace(W::GWord, index, toreplace::GWord, replacement::GWord) end function replace_all!{T}(W::GWord{T}, subst_dict::Dict{GWord{T}, GWord{T}}) - for toreplace in reverse!(sort!(collect(keys(subst_dict)),by=length)) + for toreplace in reverse!(sort!(collect(keys(subst_dict)), by=length)) replacement = subst_dict[toreplace] i = findfirst(W, toreplace) while i ≠ 0