-
Alexandre Duret-Lutz authored
dynamic_cast instead of node_type_form_visitor, this is usually smaller. * src/ltlvisit/reducform.hh, src/ltlvisit/forminf.cc (node_type_form_visitor): Delete. * src/sanity/style.test: Two more checks.
cdbb199c
To find the state of this project's repository at the time of any of these versions, check out the tags.