Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
scc.cc
Find file
Blame
History
Permalink
Fix two dead assignments detected by clang's static analyzer.
· b99cfa88
Alexandre Duret-Lutz
authored
Jan 17, 2013
* src/tgbaalgos/scc.cc, src/tgbatest/ltl2tgba.cc: Remove assignments to unread variables.
b99cfa88