1 files changed, 1 insertions, 1 deletions

diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c
index 2005f17..fe94427 100644
--- a/tools/100_checkdata/checkdata.c
+++ b/tools/100_checkdata/checkdata.c
@@ -5,7 +5,7 @@ char *solver, *filename;
 
 static void
 run(void) {
-        int64_t size, result;
+        long long int size, result;
         char *buf;
         FILE *f;