|
From: <sv...@va...> - 2006-10-17 01:42:04
|
Author: sewardj Date: 2006-10-17 02:42:00 +0100 (Tue, 17 Oct 2006) New Revision: 6272 Log: This should have been part of r6271. Modified: trunk/coregrind/pub_core_errormgr.h Modified: trunk/coregrind/pub_core_errormgr.h =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- trunk/coregrind/pub_core_errormgr.h 2006-10-17 01:41:17 UTC (rev 6271= ) +++ trunk/coregrind/pub_core_errormgr.h 2006-10-17 01:42:00 UTC (rev 6272= ) @@ -60,6 +60,8 @@ =20 extern UInt VG_(get_n_errs_found) ( void ); =20 +extern void VG_(print_errormgr_stats) ( void ); + #endif // __PUB_CORE_ERRORMGR_H =20 /*--------------------------------------------------------------------*/ |