-
Alexandre Duret-Lutz authored
* src/ltlvisit/contain.cc (reduce_tau03_visitor::visit): Free the operand array when a multop reduces to a constant.
4964c9a1
To find the state of this project's repository at the time of any of these versions, check out the tags.