-
Damien Lefortier authored
* src/eltlparse/eltlparse.yy: Free the automatop::vec when CHECK_ARITY fails while parsing an automatop. * src/eltltest/acc.cc: Free all constructed formulae.
99533561
* src/eltlparse/eltlparse.yy: Free the automatop::vec when CHECK_ARITY fails while parsing an automatop. * src/eltltest/acc.cc: Free all constructed formulae.