X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpool.c;h=c30b2f7bc370cb0d7aa03ab4683cc450804cf484;hb=3a7fba81ceae5b049d0f7d671e9e3c3c43bbf703;hp=0f5663d1f064c5b6813d86dd3644c2bdf687c51a;hpb=b9dcb1c23a48b9db5444b9f10aac0748b83898ad;p=pspp-builds.git

diff --git a/src/pool.c b/src/pool.c
index 0f5663d1..c30b2f7b 100644
--- a/src/pool.c
+++ b/src/pool.c
@@ -20,10 +20,10 @@
 #if HAVE_CONFIG_H
 #include <config.h>
 #endif
+#include "pool.h"
 #include <assert.h>
 #include <stdlib.h>
 #include "alloc.h"
-#include "pool.h"
 #include "str.h"
 
 /* Fast, low-overhead memory block suballocator. */