cong: fix typo in ImagesElm

semigroups · Jun 4, 2024 · 133d7f7 · 133d7f7
1 parent 0f11e69
commit 133d7f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gap/libsemigroups/cong.gi b/gap/libsemigroups/cong.gi
@@ -417,7 +417,7 @@ function(cong, elm)
   elif IsFpSemigroup(Range(cong))
       or (HasIsFreeSemigroup(Range(cong)) and IsFreeSemigroup(Range(cong)))
       or IsFpMonoid(Range(cong))
-      or (HasIsFreeSemigroup(Range(cong)) and IsFreeMonoid(Range(cong)))
+      or (HasIsFreeMonoid(Range(cong)) and IsFreeMonoid(Range(cong)))
       or IsQuotientSemigroup(Range(cong)) then
     part := EquivalenceRelationPartition(cong);
     pos := PositionProperty(part, l -> [elm, l[1]] in cong);