Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltlvisit
simplify.cc
Find file
Blame
History
Permalink
Fix a g++ warning about possibly uninitialized variable.
· 0536cdfb
Alexandre Duret-Lutz
authored
Dec 08, 2011
* src/ltlvisit/simplify.cc (simplify_visitor::visit(multop)): Initialize `ri' to kill a warning.
0536cdfb