# HG changeset patch # User jacint # Date 1105087838 0 # Node ID bd97feae7d90abc81ae225571e38729f1bdfeabc # Parent dddb01f98796b280c23618c98c31dc23e13fcb2d 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);