X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fvar-display.c;h=c69730f6f2a104abf607d64a9a335bb15bb15d7e;hb=38c2638eed90f33225870563c4be183097e4155a;hp=0ddf79452b5e7d5f4b4b277dc2ce72ee3ac00797;hpb=f82952d22e200e1b35cea23545857a2cf2f02c66;p=pspp-builds.git diff --git a/src/ui/gui/var-display.c b/src/ui/gui/var-display.c index 0ddf7945..c69730f6 100644 --- a/src/ui/gui/var-display.c +++ b/src/ui/gui/var-display.c @@ -2,6 +2,7 @@ #include "var-display.h" #include +#include #include #include