From 11e404b20a2fbcc77809108917d2a825f236a922 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 21 Nov 2017 01:43:45 +0100
Subject: [PATCH] Use --use-heuristic for proper heuristic encoding
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Instead of specifying the heuristic encoding manually, this lets the
planner define its location. This is to make sure that an incorrect
encoding isn’t applied accidentally.
---
 configurations.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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