Set default for option.

aibasel · Jul 9, 2024 · f23d861 · f23d861
1 parent dd68422
commit f23d861
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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<bool, bool> get_cegar_arguments_from_options(