X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpool.c;h=d3b536b2c240d7b681f3456c5880ca677f6c9b2d;hb=f1c9e6126217fbb47aefa3f6360cafb3e15976e1;hp=0123a8b955ed18c5190aa502aba9448130703653;hpb=f2828f801736701c0294803b5dedd4c4ab63b45e;p=pspp-builds.git

diff --git a/src/pool.c b/src/pool.c
index 0123a8b9..d3b536b2 100644
--- a/src/pool.c
+++ b/src/pool.c
@@ -21,7 +21,7 @@
 #include <config.h>
 #endif
 #include "pool.h"
-#include <assert.h>
+#include "error.h"
 #include <stdlib.h>
 #include "alloc.h"
 #include "str.h"