Alexandre Duret-Lutz authored
Calling register_ap() with same atomic proposition several time, for instance via copy_ap() in a product, would create duplicate atomic propositions. This fix will be exercised by the next patch. * spot/twa/twa.hh: Here. * spot/twaalgos/compsusp.cc, spot/twaalgos/ltl2taa.cc: Fix to correctly register atomic propositions. * NEWS: Mention it.ad37cacb
To find the state of this project's repository at the time of any of these versions, check out the tags.