-
Alexandre Duret-Lutz authored* src/ltlast/predecl.hh: Predeclare the LTL AST nodes as class, not struct. * src/ltlast/nfa.hh (formula_tree::node): Predeclare as struct, not class.
2ba96320
To find the state of this project's repository at the time of any of these versions, check out the tags.