Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
complementation.cc
Find file
Blame
History
Permalink
Please GCC 4.6.
· 1c2450f6
Alexandre Duret-Lutz
authored
Aug 17, 2011
* src/tgbatest/complementation.cc (check, automaton): Remove these unused variables.
1c2450f6