From 7044edf2ebbd6fe327050ab1d9f1e1f2758cb72d Mon Sep 17 00:00:00 2001 From: Julian Seward Date: Tue, 17 Oct 2006 01:42:00 +0000 Subject: [PATCH] This should have been part of r6271. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6272 --- coregrind/pub_core_errormgr.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/coregrind/pub_core_errormgr.h b/coregrind/pub_core_errormgr.h index 659680ad5b..696341302d 100644 --- a/coregrind/pub_core_errormgr.h +++ b/coregrind/pub_core_errormgr.h @@ -60,6 +60,8 @@ extern Bool VG_(showing_core_errors) ( void ); extern UInt VG_(get_n_errs_found) ( void ); +extern void VG_(print_errormgr_stats) ( void ); + #endif // __PUB_CORE_ERRORMGR_H /*--------------------------------------------------------------------*/ -- 2.47.2