-
Alexandre Duret-Lutz authored
Reported by Simon Jantsch and David Müller. * tests/core/unambig.test: Test the issue. * spot/twaalgos/isunamb.cc: Fix it. * NEWS: Mention it. * THANKS: Add Simon.
568a6180
Reported by Simon Jantsch and David Müller. * tests/core/unambig.test: Test the issue. * spot/twaalgos/isunamb.cc: Fix it. * NEWS: Mention it. * THANKS: Add Simon.