X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Ftable.c;h=3f1672a5f56707e14b5e7c1c8a977d59df613ae6;hb=338fb2a2e84df6427a2fdee6769421f57d5666d8;hp=a8624488e7775cc4aac93025ae0d05ddf0ae2ec8;hpb=946282d65fa0142e38d10f78d2c699dacf95300e;p=pspp diff --git a/src/output/table.c b/src/output/table.c index a8624488e7..3f1672a5f5 100644 --- a/src/output/table.c +++ b/src/output/table.c @@ -31,7 +31,7 @@ #include #include -#include +#include #include #include #include