-
Alexandre Duret-Lutz authored
* spot/twaalgos/minimize.cc: Do not look the final/non_final hash table when determinization is aborted.
a8143343
* spot/twaalgos/minimize.cc: Do not look the final/non_final hash table when determinization is aborted.