X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexpr-prs.c;h=fee00a3e93e1525917485f15cf7726c3a0245f8b;hb=0280721550011ce14d0632f547746ea03e966bf7;hp=d8e20853652b9a6d63fc7b92f8014706cdc85c48;hpb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;p=pspp

diff --git a/src/expr-prs.c b/src/expr-prs.c
index d8e2085365..fee00a3e93 100644
--- a/src/expr-prs.c
+++ b/src/expr-prs.c
@@ -32,6 +32,7 @@
 #include "str.h"
 #include "var.h"
 #include "vfm.h"
+#include "pool.h"
 
 /* Declarations. */