diff --git a/src/search/pdbs/cegar.cc b/src/search/pdbs/cegar.cc index feadaf35a1..5859f4573a 100644 --- a/src/search/pdbs/cegar.cc +++ b/src/search/pdbs/cegar.cc @@ -798,7 +798,8 @@ void add_cegar_options_to_feature(plugins::Feature &feature) { "use_restricted_goal", "if true, CEGAR considers only those variables for goal flaws that are " "used to initialize the pattern collection; otherwise all goal " - "variables can occur in goal flaws"); + "variables can occur in goal flaws", + "false"); } tuple get_cegar_arguments_from_options(