X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fvariable.c;h=f703722c3f39ec1e02a0691d2b96609fbced4123;hb=f9054cdd455bb3368161d6e3f400bd373f7044ba;hp=9968d9f9fb4e6067219dd9f7ccef2cc15518b0d7;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp diff --git a/src/data/variable.c b/src/data/variable.c index 9968d9f9fb..f703722c3f 100644 --- a/src/data/variable.c +++ b/src/data/variable.c @@ -31,7 +31,7 @@ #include #include #include -#include +#include #include #include