diff -r dddb01f98796 -r bd97feae7d90 src/work/jacint/bug.cc --- a/src/work/jacint/bug.cc Fri Jan 07 08:40:13 2005 +0000 +++ b/src/work/jacint/bug.cc Fri Jan 07 08:50:38 2005 +0000 @@ -44,12 +44,14 @@ std::cout< max_matching(G);