-
Alexandre Duret-Lutz authored
* src/bin/autfilt.cc: Loop over all automata in a file. * src/hoaparse/public.hh: Turn the parser into an object. * src/hoaparse/hoaparse.yy: Adjust.
131299d0
* src/bin/autfilt.cc: Loop over all automata in a file. * src/hoaparse/public.hh: Turn the parser into an object. * src/hoaparse/hoaparse.yy: Adjust.