alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

translate: fix relabel-overlap setting

Browse source 
* spot/twaalgos/translate.cc: Adjust the default relabel-overlap value
to match the doc.
This commit is contained in:
Alexandre Duret-Lutz 2023-11-17 13:48:17 +01:00
parent 0e71dd70c1
commit f0928f2b52
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/translate.cc
View file

@ -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)
{