-
Alexandre Duret-Lutz authored
* src/ltlvisit/contain.cc (reduce_tau03_visitor::visit): Free the operand array when a multop reduces to a constant.
4964c9a1
* src/ltlvisit/contain.cc (reduce_tau03_visitor::visit): Free the operand array when a multop reduces to a constant.