X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Foutput%2Fascii.c;h=53610bdec1e81b00bf9de0fb8d35cd49a3faf094;hb=ae71339c79330daeba70b96df4b19b4f25f2b008;hp=bafe74acce9185eae9164e52d0a0cee78bd46f25;hpb=52b9fca3a729eaef7d13469029e4391aa033a659;p=pspp diff --git a/src/output/ascii.c b/src/output/ascii.c index bafe74acce..53610bdec1 100644 --- a/src/output/ascii.c +++ b/src/output/ascii.c @@ -24,7 +24,7 @@ #include #include -#include +#include #include #include #include