kernel: fix incorrect printf-style format.
This commit is contained in:
parent
9dcd27ee98
commit
b3d126c090
@ -35,6 +35,7 @@
|
|||||||
#include <iostream>
|
#include <iostream>
|
||||||
#include <random>
|
#include <random>
|
||||||
#include <set>
|
#include <set>
|
||||||
|
#include <cinttypes>
|
||||||
|
|
||||||
#include "command.h"
|
#include "command.h"
|
||||||
#include "design_utils.h"
|
#include "design_utils.h"
|
||||||
@ -459,7 +460,7 @@ void CommandHandler::setupContext(Context *ctx)
|
|||||||
std::uniform_int_distribution<uint64_t> distrib{1};
|
std::uniform_int_distribution<uint64_t> distrib{1};
|
||||||
auto seed = distrib(randDev);
|
auto seed = distrib(randDev);
|
||||||
ctx->rngstate = seed;
|
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")) {
|
if (vm.count("slack_redist_iter")) {
|
||||||
|
Loading…
Reference in New Issue
Block a user