From: Julian Seward <jseward@acm.org>
Date: Tue, 17 Oct 2006 01:42:00 +0000 (+0000)
Subject: This should have been part of r6271.
X-Git-Tag: svn/VALGRIND_3_3_0~604
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7044edf2ebbd6fe327050ab1d9f1e1f2758cb72d;p=thirdparty%2Fvalgrind.git

This should have been part of r6271.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6272
---

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
 
 /*--------------------------------------------------------------------*/