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
+}