From baca292f47139a188d85db0947fcc2ae04e96e10 Mon Sep 17 00:00:00 2001
From: jgrubb <jgrubb>
Date: Mon, 20 Aug 2007 16:42:16 +0000
Subject: [PATCH] Task #7136: Fix bug of wrong file name for centralized
 mempool settings.

---
 src/core/stats.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/stats.c b/src/core/stats.c
index 7da7a417..add1e6e0 100644
--- a/src/core/stats.c
+++ b/src/core/stats.c
@@ -107,7 +107,7 @@ stats_display(void)
   s16_t i;
   char * memp_names[] = {
 #define LWIP_MEMPOOL(name,num,size,desc) desc,
-#include "lwip/memp.def"
+#include "lwip/memp_std.h"
   };
 #endif
 #if LINK_STATS