-
Alexandre Duret-Lutz authored
Merge all ltlast/ files into formula.hh. The forward declaration of visitor was causing error messages too cryptic for users.
25a31142
Merge all ltlast/ files into formula.hh. The forward declaration of visitor was causing error messages too cryptic for users.