From 7ea9ebe07a24b1573b32d2b8115b3d2222cdd163 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 15 Jun 2015 18:42:27 +0200
Subject: [PATCH] bin: typo in ltl3dra shorthand

Reported by Fanda.

* src/bin/common_trans.cc: Here.
---
 src/bin/common_trans.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bin/common_trans.cc b/src/bin/common_trans.cc
index 8133586f1..919ce60af 100644
--- a/src/bin/common_trans.cc
+++ b/src/bin/common_trans.cc
@@ -43,7 +43,7 @@ static struct shorthands_t
     { "ltl2dstar", " --output-format=hoa %L %O"},
     { "ltl2tgba", " -H %f>%O" },
     { "ltl3ba", " -f %s>%O" },
-    { "ltl3dra", " -f %f>%O" },
+    { "ltl3dra", " -f %s>%O" },
     { "modella", " %L %O" },
     { "spin", " -f %s>%O" },
   };