[issue1082] remove const

aibasel · Feb 2, 2024 · 8543ab0 · 8543ab0
1 parent e55e395
commit 8543ab0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/src/search/utils/rng_options.cc b/src/search/utils/rng_options.cc
@@ -17,8 +17,7 @@ void add_rng_options(plugins::Feature &feature) {
         plugins::Bounds("-1", "infinity"));
 }
 
-shared_ptr<RandomNumberGenerator> get_rng(
-    const int seed) {
+shared_ptr<RandomNumberGenerator> get_rng(int seed) {
     if (seed == -1) {
         // Use an arbitrary default seed.
         static shared_ptr<utils::RandomNumberGenerator> rng =

diff --git a/src/search/utils/rng_options.h b/src/search/utils/rng_options.h
@@ -14,7 +14,7 @@ class RandomNumberGenerator;
 // Add random_seed option to parser.
 extern void add_rng_options(plugins::Feature &feature);
 
-extern std::shared_ptr<RandomNumberGenerator> get_rng(const int seed);
+extern std::shared_ptr<RandomNumberGenerator> get_rng(int seed);
 
 /*
   Return an RNG based on the given options, which can either be the global