Skip to content
  • Damien Lefortier's avatar
    Fix some memory leaks. · 99533561
    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
To find the state of this project's repository at the time of any of these versions, check out the tags.