From 60bdf5de193dbd938944840d71485edaa79494c8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 18 May 2019 20:51:38 +0200
Subject: [PATCH] translate: relabel_bool was ignored when option_map was not
 supplied

* spot/twaalgos/translate.cc: Set relabel_bool_ to 4 by default, not
-1.  Also call relabel_apply when the formula is relabeled.
---
 spot/twaalgos/translate.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/spot/twaalgos/translate.cc b/spot/twaalgos/translate.cc
index 9fee4e847..41f6dd34d 100644
--- a/spot/twaalgos/translate.cc
+++ b/spot/twaalgos/translate.cc
@@ -35,7 +35,8 @@ namespace spot
   void translator::setup_opt(const option_map* opt)
   {
     comp_susp_ = early_susp_ = skel_wdba_ = skel_simul_ = 0;
-    relabel_bool_ = tls_impl_ = -1;
+    relabel_bool_ = 4;
+    tls_impl_ = -1;
     ltl_split_ = true;
 
     opt_ = opt;
@@ -423,6 +424,8 @@ namespace spot
     formula r = simpl_->simplify(to_work_on);
     if (to_work_on == *f)
       *f = r;
+    else
+      *f = relabel_apply(r, &m);
 
     auto aut = run_aux(r);