From 1eb18f4b83e7581f71d821ad1541433063d4a240 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 9 Oct 2021 21:28:52 +0200 Subject: [PATCH] ltlsynt: fix --help output for common Input options * bin/common_finput.cc (argp): Declare all options in section 1. --- bin/common_finput.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/bin/common_finput.cc b/bin/common_finput.cc index d1754d6ee..8df1fb028 100644 --- a/bin/common_finput.cc +++ b/bin/common_finput.cc @@ -37,16 +37,16 @@ static bool lenient = false; static const argp_option options[] = { { nullptr, 0, nullptr, 0, "Input options:", 1 }, - { "formula", 'f', "STRING", 0, "process the formula STRING", 0 }, + { "formula", 'f', "STRING", 0, "process the formula STRING", 1 }, { "file", 'F', "FILENAME[/COL]", 0, "process each line of FILENAME as a formula; if COL is a " "positive integer, assume a CSV file and read column COL; use " - "a negative COL to drop the first line of the CSV file", 0 }, + "a negative COL to drop the first line of the CSV file", 1 }, { "lbt-input", OPT_LBT, nullptr, 0, - "read all formulas using LBT's prefix syntax", 0 }, + "read all formulas using LBT's prefix syntax", 1 }, { "lenient", OPT_LENIENT, nullptr, 0, "parenthesized blocks that cannot be parsed as subformulas " - "are considered as atomic properties", 0 }, + "are considered as atomic properties", 1 }, { nullptr, 0, nullptr, 0, nullptr, 0 } };