Delete dfa.h