Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
twaalgos
dtbasat.cc
Find file
Blame
History
Permalink
twaalgos: Help sat_build to ignore unuseful transitions
· 79f4c8e0
Alexandre GBAGUIDI AISSE
authored
Oct 12, 2016
* spot/twaalgos/dtbasat.cc: Fix static sat_build. * spot/twaalgos/dtwasat.cc: Fix static sat_build.
79f4c8e0