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

* src/bin/man/ltl2tgba.x: Remove superfluous directory.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-08-13 15:13:44 +02:00
parent d2c0105224
commit 288a4ff33c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/bin/man/ltl2tgba.x
View file

@ -135,7 +135,7 @@ strings. Spot will always output atomic-proposition that do not match
.in +4n .in +4n
.ft C .ft C
.nf .nf
% bin/ltl2tgba --lbtt 'GFa & GFb' % ltl2tgba --lbtt 'GFa & GFb'
1 2t 1 2t
0 1 0 1
0 0 1 -1 & "a" "b" 0 0 1 -1 & "a" "b"