Allow changing a DFA
's prefilter after it's already been created
#2419
Loading
DFA
's prefilter after it's already been created
#2419