Eli Friedman wrote:
Looks like I did something dumb here; you can't iterate through a folding set and delete its elements at the same time! I'll clean this up as soon as I get a chance.
- Doug
Eli Friedman wrote:
Looks like I did something dumb here; you can't iterate through a folding set and delete its elements at the same time! I'll clean this up as soon as I get a chance.
- Doug