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