diff options
| author | Willem <willem@lekkertech.net> | 2014-10-16 10:00:35 -0700 |
|---|---|---|
| committer | Willem <willem@lekkertech.net> | 2014-10-16 10:01:15 -0700 |
| commit | a6ce7bb9a8c01c62411f8484f13002f66e990293 (patch) | |
| tree | ec2f9e355b29303f2af9595e2ac737180c92078e /test | |
| parent | f017599be7cd7e71cea3aa0a1bccb4a2c6f38783 (diff) | |
| download | klee-a6ce7bb9a8c01c62411f8484f13002f66e990293.tar.gz | |
Fixed declaration of print_int that Travis complained about
Diffstat (limited to 'test')
| -rw-r--r-- | test/Concrete/_testingUtils.c | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |