]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
This should have been part of r6271.
authorJulian Seward <jseward@acm.org>
Tue, 17 Oct 2006 01:42:00 +0000 (01:42 +0000)
committerJulian Seward <jseward@acm.org>
Tue, 17 Oct 2006 01:42:00 +0000 (01:42 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6272

coregrind/pub_core_errormgr.h

index 659680ad5b6f3e2e8c8ff0ec4f14ceb6ba85729b..696341302dc1932a69fad1c601a6b6715f0cd3a0 100644 (file)
@@ -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
 
 /*--------------------------------------------------------------------*/