X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Fprint.c;h=408224afb921acd9900d53b44a092d1a28302725;hb=740e24272ba0cbb056e6c1f172596ef974c97604;hp=8454c1b885e8e656afacbfdedadc57176eef9f14;hpb=9ce038d9719d4383a57a0416dc36a905b46d14ec;p=pspp-builds.git diff --git a/src/language/data-io/print.c b/src/language/data-io/print.c index 8454c1b8..408224af 100644 --- a/src/language/data-io/print.c +++ b/src/language/data-io/print.c @@ -23,6 +23,7 @@ #include #include #include +#include #include #include #include