kernel: fix incorrect printf-style format.

This commit is contained in:
Catherine 2025-01-11 21:43:13 +00:00
parent f17f8a54c0
commit 08e5bf142f

View File

@ -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")) {