From a6ce7bb9a8c01c62411f8484f13002f66e990293 Mon Sep 17 00:00:00 2001
From: Willem <willem@lekkertech.net>
Date: Thu, 16 Oct 2014 10:00:35 -0700
Subject: Fixed declaration of print_int that Travis complained about

---
 test/Concrete/_testingUtils.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/Concrete/_testingUtils.c b/test/Concrete/_testingUtils.c
index dbab921d..ef99f908 100644
--- a/test/Concrete/_testingUtils.c
+++ b/test/Concrete/_testingUtils.c
@@ -5,7 +5,7 @@
 
 int printf(const char *fmt, ...);
 
-void print_int(unsigned long long val);
+void print_int(uint64_t val);
 
 #define TYPED_PRINT(_name_type, _arg_type)  \
     void print_ ## _name_type(_arg_type val) { print_int(val); }
-- 
cgit 1.4.1