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

diff --git a/src/str.c b/src/str.c
index b70ce97c50..081ffea5a7 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. */