X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.h;fp=src%2Flibpspp%2Fpool.h;h=fe4af29b73c4bcdccc77d1df03d8de21944c1432;hb=c66132a07790c90a5f32260886a488be6e318337;hp=b735d912e09577826522a4d9fa2ab5747540a8e8;hpb=6f135ae2a14a178f850c25cb4bad6c0aae88c920;p=pspp-builds.git

diff --git a/src/libpspp/pool.h b/src/libpspp/pool.h
index b735d912..fe4af29b 100644
--- a/src/libpspp/pool.h
+++ b/src/libpspp/pool.h
@@ -1,5 +1,5 @@
 /* PSPP - computes sample statistics.
-   Copyright (C) 2000 Free Software Foundation, Inc.
+   Copyright (C) 2000, 2006 Free Software Foundation, Inc.
    Written by Ben Pfaff <blp@gnu.org>.
 
    This program is free software; you can redistribute it and/or
@@ -20,6 +20,7 @@
 #if !pool_h
 #define pool_h 1
 
+#include <stdarg.h>
 #include <stdio.h>
 #include "compiler.h"