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

* src/tl/dot.cc: Fix assumption about call orders.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-09-30 14:46:44 +02:00
parent 4a43e24afa
commit 207735900d
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/tl/dot.cc
View file

@ -109,7 +109,11 @@ namespace spot
for (auto c: f)
{
os_ << " " << src << " -> " << rec(c);
// Do not merge the next two lines, as there is no
// guarantee that rec will be called before we start
// printing the transition.
int dst = rec(c);
os_ << " " << src << " -> " << dst;
if (childnum > 0)
os_ << " [taillabel=\"" << childnum << "\"]";
if (childnum == -2)