1 files changed, 2 insertions, 0 deletions
diff --git a/memory.h b/memory.h
index e93e65a4f2..d5b47da839 100644
--- a/memory.h
+++ b/memory.h
@@ -501,6 +501,8 @@ void memory_region_transaction_begin(void);
  */
 void memory_region_transaction_commit(void);
 
+void mtree_info(fprintf_function mon_printf, void *f);
+
 #endif
 
 #endif