-
Alexandre Duret-Lutz authored
* spot/kripke/kripkegraph.hh, spot/twa/twagraph.hh: Call is_valid_edge() instead. * NEWS: Mention the renaming.
a6afaf3d
* spot/kripke/kripkegraph.hh, spot/twa/twagraph.hh: Call is_valid_edge() instead. * NEWS: Mention the renaming.