From 113a83bd33e53c5253557c18d533bdef84b17d18 Mon Sep 17 00:00:00 2001 From: Wang-yijun Date: Fri, 16 Feb 2024 22:45:46 -0600 Subject: [PATCH] Expand comments for random number seed --- source/world_builder/world.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/source/world_builder/world.cc b/source/world_builder/world.cc index 1d54d4762..398dacff5 100644 --- a/source/world_builder/world.cc +++ b/source/world_builder/world.cc @@ -145,7 +145,8 @@ namespace WorldBuilder prm.declare_entry("features", Types::PluginSystem("",Features::Interface::declare_entries, {"model"}),"A list of features."); prm.declare_entry("random number seed", Types::Int(-1), - "Use random number seed input to generate random numbers."); + "This allows the input of a preferred random number seed to generate random numbers." + " If no input is given, this value is -1 and triggers the use of default seed = 1."); } prm.leave_subsection();