alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

typo

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2007-04-30 08:12:42 +00:00
parent eb6bde4dd4
commit 034e0e44f1
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ChangeLog
View file

@ -1,6 +1,6 @@
2007-04-30 Alexandre Duret-Lutz <adl@gnu.org>
* src/tgbatest/ltl2tgba.cc (main): Fix handing of -R1q -R1t -R2q -R2t.
* src/tgbatest/ltl2tgba.cc (main): Fix handling of -R1q -R1t -R2q -R2t.
Add support for -r8/-fr8.
* src/tgbatest/spotlbtt.test: Also check -R1q -R1t -R2q -R2t.