From 133616f5319eaca0c34c906370f03e7d326efce9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sun, 19 Nov 2017 18:42:23 +0100
Subject: [PATCH] Make options of planner B explicit

---
 configurations.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configurations.yaml b/configurations.yaml
index 3c4622d35..2b33f9d96 100644
--- a/configurations.yaml
+++ b/configurations.yaml
@@ -9,6 +9,7 @@ options:
   plannerA: &plannerA
   - "-A 16"
   plannerB: &plannerB
+  - "-B 0.9"
   plannerC: &plannerC
   - "-C 1.41"
   - "-F 5"