-
Alexandre Duret-Lutz authored
These are actually two events that should never happen, but let's just make sure they do not. * spot/tl/formula.cc: Add an assert. * spot/twaalgos/emptiness.cc: Add an exception.
6ed0830f
These are actually two events that should never happen, but let's just make sure they do not. * spot/tl/formula.cc: Add an assert. * spot/twaalgos/emptiness.cc: Add an exception.