X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=glade%2Fselector.c;fp=glade%2Fselector.c;h=6b2e4d7938c0bcb6e82c47a1fdfe24a6fd000334;hb=acd6e0df2ed6fe05be3065dc84a0a17dd4ee73f9;hp=d2b21a99725e6e903709aa0ca76402ea5bffc48f;hpb=aa4573b5e5c219d27fbbec0b56b35bfdac77876a;p=pspp diff --git a/glade/selector.c b/glade/selector.c index d2b21a9972..6b2e4d7938 100644 --- a/glade/selector.c +++ b/glade/selector.c @@ -1,3 +1,4 @@ +#include #include #include