-
Alexandre Duret-Lutz authored
Report from Tomáš Babiak and František Blahoudek See also https://github.com/adl/hoaf/issues/36 Also fix a typo in the handling of Fin(1)&Fin(!1) while we are at it. * src/hoaparse/hoaparse.yy: Here. * src/tgbatest/hoaparse.test: Add tests.
5852292c