diff options
| -rw-r--r-- | tools/klee-replay/klee-replay.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee-replay/klee-replay.c b/tools/klee-replay/klee-replay.c index 7c605a53..8d0ba8cc 100644 --- a/tools/klee-replay/klee-replay.c +++ b/tools/klee-replay/klee-replay.c @@ -362,7 +362,7 @@ void klee_make_symbolic(void *addr, size_t nbytes, const char *name) { } else { if (boo->numBytes != nbytes) { fprintf(stderr, "make_symbolic mismatch, different sizes: " - "%d in input file, %ld in code\n", boo->numBytes, nbytes); + "%d in input file, %lu in code\n", boo->numBytes, (unsigned long)nbytes); exit(1); } else { memcpy(addr, boo->bytes, nbytes); |