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

* src/tgbaalgos/cycles.cc (nocycle): Fix a comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-09-30 15:39:06 +02:00
parent dd16f58ef4
commit 902dadb898
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaalgos/cycles.cc
View file

@ -33,7 +33,7 @@ namespace spot
{
// insert x in B(y)
y->second.b.insert(x->first);
// insert y in A(x)
// remove y from A(x)
x->second.del.insert(y->first);
}