gistfile1.txt

for (auto it=working_set.begin(); it!=working_set.end(); ++it) {
	if ((! q.valid(*it)) || D.is_dead((*it).dfa_pos.state)) {
		// delete!
		working_set.erase(it);
		it--;
	}
}