[PATCH 5/5] doc: remove the --report=look-aheads alias

[Akim Demaille]

Years ago we moved from 'look-ahead' to 'lookahead', and that alias
was kept for backward compatibility.  But now that we use argmatch to
generate the documentation, that value clutters the doc.

* src/getargs.c (argmatch_report_args): Remove the
--report=look-aheads alias.
---
 src/getargs.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/getargs.c b/src/getargs.c
index f2585114..d1d4eccc 100644
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -220,7 +220,6 @@ static const argmatch_report_arg argmatch_report_args[] =
   { "states",      report_states },
   { "itemsets",    report_states | report_itemsets },
   { "lookaheads",  report_states | report_lookahead_tokens },
-  { "look-ahead",  report_states | report_lookahead_tokens },
   { "solved",      report_states | report_solved_conflicts },
   { "all",         report_all },
   { NULL, report_none },
-- 
2.22.0