From 06b8118deca6ba3eca4e76aad716669f6ebb6458 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 29 Dec 2014 23:47:31 +0100
Subject: [PATCH] ltl2tgba: rename --hoa to --hoaf

for consistency with autfilt, randaut, and dstar2tgba

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

diff --git a/src/bin/ltl2tgba.cc b/src/bin/ltl2tgba.cc
index d968835a2..a1ef5961f 100644
--- a/src/bin/ltl2tgba.cc
+++ b/src/bin/ltl2tgba.cc
@@ -76,7 +76,7 @@ static const argp_option options[] =
       "GraphViz's format (default).  Add letters to chose (c) circular nodes, "
       "(h) horizontal layout, (v) vertical layout, (n) with name, "
       "(N) without name, (t) always transition-based acceptance.", 0 },
-    { "hoa", 'H', "s|t|m|l", OPTION_ARG_OPTIONAL,
+    { "hoaf", 'H', "s|t|m|l", OPTION_ARG_OPTIONAL,
       "Output the automaton in HOA format.  Add letters to select "
       "(s) state-based acceptance, (t) transition-based acceptance, "
       "(m) mixed acceptance, (l) single-line output", 0 },