Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
twaalgos
ltl2taa.cc
Find file
Blame
History
Permalink
work around potential null dereference warning
· c63521d6
Alexandre Duret-Lutz
authored
Mar 17, 2019
* spot/twaalgos/ltl2taa.cc: Here. * NEWS: Mention the issue.
c63521d6