> Now I just set v_flag to 1 manually in code to get the output, but I > don't think it is a correct way. > Anyone could tell me the correct way to output automata description, > or help me to confirm this bug?
I don't think there is a bug. What do you have in your define_automaton directive? Note that `-' is not required for these options. Ben
