diff --git a/src/server/internal-connections.h b/src/server/internal-connections.h
index a2885b2f95a68444b4654052a0f7deeb2d311a49..aeb0cf145fff0bf323c2f42b0d5b145c0bef6989 100644
--- a/src/server/internal-connections.h
+++ b/src/server/internal-connections.h
@@ -17,3 +17,6 @@ get_conn_by_number (Session_no session_no);
 
 extern Session_no
 traverse_connections (Session_no session_no);
+
+extern void
+dump_allocated_connections(FILE *fp);