diff options
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/MemoryManager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp index 55dd20f2..bdb89bb5 100644 --- a/lib/Core/MemoryManager.cpp +++ b/lib/Core/MemoryManager.cpp @@ -201,7 +201,7 @@ MemoryManager::MemoryManager(ArrayCache *_arrayCache) #if LLVM_VERSION_CODE >= LLVM_VERSION(10, 0) if (start1 != 0 && !llvm::isAligned(pageAlignment, start1)) { klee_error("Deterministic allocator: Requested start address for %s " - "is not page aligned (page size: %zu B)", + "is not page aligned (page size: %" PRIu64 " B)", segment1.c_str(), pageAlignment.value()); } #else @@ -392,4 +392,4 @@ bool MemoryManager::markMappingsAsUnneeded() { size_t MemoryManager::getUsedDeterministicSize() { // TODO: implement return 0; -} \ No newline at end of file +} |