commit 42081da641afd49d92f5beb45925ac59a6c851ba
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Tue Oct 17 01:42:00 2006 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Tue Oct 17 01:42:00 2006 +0000
tree 8452131f61b6e4292d3064bed112e3ce7fca0c9d
parent 8a7d4e41e902b91e3b0c9a48a7f124e007270bdf

This should have been part of r6271.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6272 a5019735-40e9-0310-863c-91ae7b9d1cf9

coregrind/pub_core_errormgr.h

diff --git a/coregrind/pub_core_errormgr.h b/coregrind/pub_core_errormgr.h
index 659680a..6963413 100644
--- a/coregrind/pub_core_errormgr.h
+++ b/coregrind/pub_core_errormgr.h
@@ -60,6 +60,8 @@
 
 extern UInt VG_(get_n_errs_found)         ( void );
 
+extern void VG_(print_errormgr_stats)     ( void );
+
 #endif   // __PUB_CORE_ERRORMGR_H
 
 /*--------------------------------------------------------------------*/