-
Alexandre Duret-Lutz authored
* src/tgbaalgos/cutscc.cc, src/tgbaalgos/ltl2taa.cc: Include <algorithm> for set_difference and binary_search.
7a6af3aa
* src/tgbaalgos/cutscc.cc, src/tgbaalgos/ltl2taa.cc: Include <algorithm> for set_difference and binary_search.