From 5b1350cab5402c302c04bfd71dbf168c1dc22c3e Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 9 Jul 2019 22:10:09 +0200
Subject: [PATCH] autcross: add shorthand for dra2dpa

* bin/common_trans.cc: Add it.
* NEWS: Mention it.
---
 NEWS                | 3 ++-
 bin/common_trans.cc | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)

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" },