src/bin/ltl2tgba.cc · 06b8118deca6ba3eca4e76aad716669f6ebb6458 · Spot / Spot · GitLab

Dec 29, 2014
06b8118d
ltl2tgba: rename --hoa to --hoaf · 06b8118d
Alexandre Duret-Lutz authored Dec 29, 2014
```
for consistency with autfilt, randaut, and dstar2tgba

* src/bin/ltl2tgba.cc: Here.
```
06b8118d
ltl2tgba: rename --hoa to --hoaf
Alexandre Duret-Lutz authored Dec 29, 2014
```
for consistency with autfilt, randaut, and dstar2tgba

* src/bin/ltl2tgba.cc: Here.
```