diff --git a/NEWS b/NEWS index 6a5796969..d9d07a473 100644 --- a/NEWS +++ b/NEWS @@ -31,7 +31,8 @@ New in spot 2.7.5.dev (not yet released) acceptance condition among "Fin(0)", "t", or "f". - ltldo and ltlcross learned shorthands to call the tools ltl2na, - ltl2nba, and ltl2ngba from Owl 19.06. + ltl2nba, and ltl2ngba from Owl 19.06. Similarly, autcross learned + a shorthand for Owl's dra2dpa. Documentation: diff --git a/bin/common_trans.cc b/bin/common_trans.cc index ec2b84542..bac0c15ba 100644 --- a/bin/common_trans.cc +++ b/bin/common_trans.cc @@ -70,6 +70,7 @@ static shorthands_t shorthands_ltl[] = { static shorthands_t shorthands_autproc[] = { { "autfilt", " %H>%O" }, + { "dra2dpa", " <%H>%O" }, { "dstar2tgba", " %H>%O" }, { "ltl2dstar", " -B %H %O" }, { "nba2dpa", " <%H>%O" },