-
Alexandre Duret-Lutz authored
* src/ltlast/unop.hh (map): Use unop* as values. * src/ltlast/binop.hh (map): Use binop* as values. * src/ltlast/multop.hh (map): Use multop* as values. * src/ltlast/automatop.hh (paircmp): Rename as tripletcmp. (map): Use automaton* as values, not formula*.
3488bf45