X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fstr.c;h=081ffea5a74d36290c05450b3d5e52e04cd8fa90;hb=4a73877b4d56caed03d383fb4d38347a9774046f;hp=b70ce97c501f7ee29152be1c9088b408a938d507;hpb=3417680e253b1bfc4519347ef06536378026be2a;p=pspp-builds.git

diff --git a/src/str.c b/src/str.c
index b70ce97c..081ffea5 100644
--- a/src/str.c
+++ b/src/str.c
@@ -25,7 +25,6 @@
 #include <stdlib.h>
 #include "alloc.h"
 #include "error.h"
-#include "pool.h"
 
 /* sprintf() wrapper functions for convenience. */