Move docs.

[mono.git] / mono / utils / mono-counters.h

diff --git a/mono/utils/mono-counters.h b/mono/utils/mono-counters.h
index a22a3e92bf3696d2f62ecc8bb198ca96fba89551..e7396d79a0907bc21b6c5a3d479701a26642fbc7 100644 (file)
--- a/mono/utils/mono-counters.h
+++ b/mono/utils/mono-counters.h
@@ -37,5 +37,7 @@ void mono_counters_register (const char* descr, int type, void *addr);
  */
 void mono_counters_dump (int section_mask, FILE *outfile);
 
+void mono_counters_cleanup (void);
+
 #endif /* __MONO_COUNTERS_H__ */