From 902dadb89881e7b541a35ff642c626ceefd9ec8b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 30 Sep 2012 15:39:06 +0200 Subject: [PATCH] * src/tgbaalgos/cycles.cc (nocycle): Fix a comment. --- src/tgbaalgos/cycles.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tgbaalgos/cycles.cc b/src/tgbaalgos/cycles.cc index 351103815..58be9c1a5 100644 --- a/src/tgbaalgos/cycles.cc +++ b/src/tgbaalgos/cycles.cc @@ -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); }