[main] remove duplicate option 'random_seed'

aibasel · Aug 6, 2021 · 06bbdfc · 06bbdfc
1 parent e5fa8dc
commit 06bbdfc
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/search/merge_and_shrink/merge_tree_factory_linear.cc b/src/search/merge_and_shrink/merge_tree_factory_linear.cc
@@ -123,7 +123,6 @@ void MergeTreeFactoryLinear::add_options_to_parser(
         "variable_order", merge_strategies,
         "the order in which atomic transition systems are merged",
         "CG_GOAL_LEVEL");
-    utils::add_rng_options(parser);
 }
 
 static shared_ptr<MergeTreeFactory> _parse(options::OptionParser &parser) {