diff --git a/configurations.yml b/configurations.yml index b788d55db..e284295a8 100644 --- a/configurations.yml +++ b/configurations.yml @@ -36,8 +36,7 @@ options: t0: &t0 - "-T 0" heuristics: &heuristics - - "--heuristic=Domain" - - "heuristic.lp" + - "--use-heuristic" madagascarM: &madagascarM - "--madagascar-M" madagascarMp: &madagascarMp