evertheylen · May 27, 2015 15:16
diff --git a/gistfile1.txt b/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--;
 	}
 }
	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--;
	}
	}