X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fvalue.h;h=612ec114013ed00d84611df62ab7730b7e499713;hb=fd3d64301598af490d54df88fb485853521e283f;hp=cb66cb0836c7b00eeb7e992199650c192b15f780;hpb=a9acce47d67e0ab35ce1690e4f1b1ac0121c2d78;p=pspp diff --git a/src/data/value.h b/src/data/value.h index cb66cb0836..612ec11401 100644 --- a/src/data/value.h +++ b/src/data/value.h @@ -19,6 +19,7 @@ #include #include +#include #include "minmax.h" /* "Short" strings, which are generally those no more than 8