X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=utilities%2Fpspp-dump-sav.c;h=7cdd7d9c5ecb93a826c4946a85cf1a1165240e6b;hb=6d2c2fbd4f919bf95debfcafe7e842c2be0b3db6;hp=a89a86ea641e559d432c29f78f8fb439e79ccb79;hpb=f3dc389d453a81ffd3957662e287c96b3a73c4bb;p=pspp

diff --git a/utilities/pspp-dump-sav.c b/utilities/pspp-dump-sav.c
index a89a86ea64..7cdd7d9c5e 100644
--- a/utilities/pspp-dump-sav.c
+++ b/utilities/pspp-dump-sav.c
@@ -20,6 +20,7 @@
 #include <errno.h>
 #include <getopt.h>
 #include <inttypes.h>
+#include <limits.h>
 #include <stdio.h>
 #include <stdlib.h>