Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
ltl2taa.cc
Find file
Blame
History
Permalink
Fix make check in sanity.
· 9f47dde5
Damien Lefortier
authored
Oct 17, 2009
* src/tgba/taa.cc, src/tgbaalgos/ltl2taa.cc: Fix style.
9f47dde5