diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-10-01 15:45:32 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-10-01 15:45:32 +0000 |
| commit | e11fbbc8106836f8e0536030f0cca6b660dd2144 (patch) | |
| tree | f41ce77bc157363681c608fb92fa3f0dcd21ddb0 | |
| parent | 4ba56583e02740f50c642dcac1a70db06bd5f111 (diff) | |
| download | klee-e11fbbc8106836f8e0536030f0cca6b660dd2144.tar.gz | |
Fix a build warning, patch by nobled!
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115315 91177308-0d34-0410-b5e6-96231b3b80d8
| -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); |