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