diff options
| -rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index bc86dafb..79f89de7 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -555,7 +555,7 @@ void Executor::initializeGlobals(ExecutionState &state) { if (end && *end == '\0') { klee_message("NOTE: allocated global at asm specified address: %#08llx" " (%llu bytes)", - address, size); + (long long) address, (unsigned long long) size); mo = memory->allocateFixed(address, size, &*i); mo->isUserSpecified = true; // XXX hack; } |