From cf42baa43b1ce31e20640eaaa631bc3d3710aad3 Mon Sep 17 00:00:00 2001
From: Meinhard Kissich <privat@meinhard-kissich.at>
Date: Wed, 9 Oct 2024 18:25:02 +0200
Subject: [PATCH] Fix RNG seed initialization (#1383)

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

diff --git a/common/kernel/command.cc b/common/kernel/command.cc
index 43eb491a..9dc54afb 100644
--- a/common/kernel/command.cc
+++ b/common/kernel/command.cc
@@ -427,7 +427,7 @@ void script_terminate_handler()
 void CommandHandler::setupContext(Context *ctx)
 {
     if (ctx->settings.find(ctx->id("seed")) != ctx->settings.end())
-        ctx->rngstate = ctx->setting<uint64_t>("seed");
+        ctx->rngseed(ctx->setting<uint64_t>("seed"));
 
     if (vm.count("verbose")) {
         ctx->verbose = true;
@@ -447,7 +447,7 @@ void CommandHandler::setupContext(Context *ctx)
     }
 
     if (vm.count("seed")) {
-        ctx->rngstate = vm["seed"].as<uint64_t>();
+        ctx->rngseed(vm["seed"].as<uint64_t>());
     }
 
     if (vm.count("threads")) {