From b926b3d49d7650ba76c81f4dfe0fd9aad44150d2 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 9 Jun 2023 21:30:22 +0100
Subject: Fixed a format specifier pointed to by a compiler warning.

---
 lib/Core/MemoryManager.cpp | 4 ++--
 1 file 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
+}
-- 
cgit 1.4.1