diff --git a/src/cli_parser.cpp b/src/cli_parser.cpp index e4090dc1..da6610e3 100644 --- a/src/cli_parser.cpp +++ b/src/cli_parser.cpp @@ -561,6 +561,8 @@ static void parseSubcommandOptions(PtContext &ctx, int argc, char *const *argv) } break; case PRIMARY_ASSIGN_EXPLORE_CUTOFF_VAL: + cutoffFactor = parseIntegralOption(ctx.err, PRIMARY_ASSIGN_EXPLORE_CUTOFF, optarg); + // FIXME : error if this factor is too large if (ctx.subcommand == Subcommand::COMPILE_SECONDARY) { ctx.compilerConfig.primaryExploredNodeCutoff = cutoffFactor * EXPLORATION_CUTOFF_MULTIPLIER; }