From 08e5bf142f8c8eb6ecd4cc54dd425b92e48b859c Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Sat, 11 Jan 2025 21:43:13 +0000
Subject: [PATCH] kernel: fix incorrect printf-style format.

---
 common/kernel/command.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/common/kernel/command.cc b/common/kernel/command.cc
index 9dc54afb..d760c0be 100644
--- a/common/kernel/command.cc
+++ b/common/kernel/command.cc
@@ -35,6 +35,7 @@
 #include <iostream>
 #include <random>
 #include <set>
+#include <cinttypes>
 
 #include "command.h"
 #include "design_utils.h"
@@ -459,7 +460,7 @@ void CommandHandler::setupContext(Context *ctx)
         std::uniform_int_distribution<uint64_t> distrib{1};
         auto seed = distrib(randDev);
         ctx->rngstate = seed;
-        log_info("Generated random seed: %lu\n", seed);
+        log_info("Generated random seed: %" PRIu64 "\n", seed);
     }
 
     if (vm.count("slack_redist_iter")) {