src/bin/genltl.cc · a530498fbdf8b47ef3f228b0954cf8b773c2f667 · Spot / Spot · GitLab

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