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

translate_aa: rename expansion option to lf

Browse source 
* spot/twaalgos/translate_aa.cc: Here.
This commit is contained in:
Antoine Martin 2025-10-10 16:49:34 +02:00
parent fface984ca
commit e53bd32631
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/translate_aa.cc
View file

@ -529,12 +529,12 @@ namespace spot
pref = 0; pref = 0;
else if (!strcasecmp(version, "derive")) else if (!strcasecmp(version, "derive"))
pref = 1; pref = 1;
else if (!strcasecmp(version, "expansion")) else if (!strcasecmp(version, "lf"))
pref = 2; pref = 2;
else else
{ {
const char* err = ("sere_aa_translation_options(): argument" const char* err = ("sere_aa_translation_options(): argument"
" should be one of {bdd,derive,expansion}"); " should be one of {bdd,derive,lf}");
if (env) if (env)
err = "SPOT_SERE_AA_TRANSLATE_OPT should be one of {bdd,derive,expansion}"; err = "SPOT_SERE_AA_TRANSLATE_OPT should be one of {bdd,derive,expansion}";
throw std::runtime_error(err); throw std::runtime_error(err);