From f0928f2b5249aa63a317591e94e0d42d1fb8dd50 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 17 Nov 2023 13:48:17 +0100
Subject: [PATCH] translate: fix relabel-overlap setting

* spot/twaalgos/translate.cc: Adjust the default relabel-overlap value
to match the doc.
---
 spot/twaalgos/translate.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/twaalgos/translate.cc b/spot/twaalgos/translate.cc
index 7ad57347f..1db1f1aa4 100644
--- a/spot/twaalgos/translate.cc
+++ b/spot/twaalgos/translate.cc
@@ -48,7 +48,7 @@ namespace spot
       return;
 
     relabel_bool_ = opt->get("relabel-bool", 4);
-    relabel_overlap_ = opt->get("relabel-overlap", 6);
+    relabel_overlap_ = opt->get("relabel-overlap", 8);
     comp_susp_ = opt->get("comp-susp", 0);
     if (comp_susp_ == 1)
       {