Use SetFilterObj instead of undocumented SetFeatureObj

gap-packages · Oct 2, 2018 · 810adef · 810adef
1 parent 9bd6151
commit 810adef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;