From 134982c08b694287c753eb80e744e3b42844f262 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 18 Apr 2016 17:41:41 +0200
Subject: [PATCH] Typo in --help output

* bin/common_aoutput.cc: Fix --help output for -Hk.
* NEWS: Mention it.
---
 NEWS                  | 4 +++-
 bin/common_aoutput.cc | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/NEWS b/NEWS
index 2cc4481e4..f4124ea60 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,8 @@
 New in spot 2.0.0a (not yet released)
 
-  Nothing yet.
+  Bug fixes:
+
+  * Typo in documentation of the -H option in --help output.
 
 New in spot 2.0 (2016-04-11)
 
diff --git a/bin/common_aoutput.cc b/bin/common_aoutput.cc
index 086053e1e..a966c40bf 100644
--- a/bin/common_aoutput.cc
+++ b/bin/common_aoutput.cc
@@ -101,7 +101,7 @@ static const argp_option options[] =
       "(+INT) add INT to all set numbers, "
       "(<INT) display at most INT states, "
       "(#) show internal edge numbers", 0 },
-    { "hoaf", 'H', "i|l|m|s|t|v", OPTION_ARG_OPTIONAL,
+    { "hoaf", 'H', "i|k|l|m|s|t|v", OPTION_ARG_OPTIONAL,
       "Output the automaton in HOA format (default).  Add letters to select "
       "(i) use implicit labels for complete deterministic automata, "
       "(s) prefer state-based acceptance when possible [default], "