Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
bin
genltl.cc
Find file
Blame
History
Permalink
c++11: use for(auto...) to simplify code in src/bin/.
· 557292bd
Alexandre Duret-Lutz
authored
Dec 15, 2013
* src/bin/common_finput.cc, src/bin/genltl.cc, src/bin/ltlcross.cc, src/bin/randltl.cc: Simplify.
557292bd