-
Alexandre Duret-Lutz authored
Fixes #363. * spot/tl/exclusive.cc: Fix the prop_copy() call. * tests/core/exclusive-tgba.test: Test it. * NEWS: Mention the issue.
406e3b4f
Fixes #363. * spot/tl/exclusive.cc: Fix the prop_copy() call. * tests/core/exclusive-tgba.test: Test it. * NEWS: Mention the issue.