Tue, 25 Jan 2005 17:39:24 +0000following the changes of max_matching.h
jacint [Tue, 25 Jan 2005 17:39:24 +0000] rev 1092
following the changes of max_matching.h