diff --git a/gap/help.gi b/gap/help.gi index 9bd0ca2..9d79b6c 100644 --- a/gap/help.gi +++ b/gap/help.gi @@ -129,7 +129,7 @@ GUARANA.IsWeightedCollector := function( coll ) return false; fi; fi; - SetFeatureObj( coll, IsWeightedCollector, true ); + SetFilterObj( coll, IsWeightedCollector ); return true; end;