Fix regression in help output

Argument parsing seems to intermittently choke on --help if a default
value for verbosity is not explicitly supplied.
This commit is contained in:
Jeremy Saklad 2022-04-11 14:59:16 -05:00
parent 0f254d837d
commit a074b44b87
Signed by: Jeremy Saklad
GPG Key ID: 94B02EA3D0B6481B

View File

@ -117,6 +117,7 @@ solver_options = parser.add_argument_group(
solver_options.add_argument(
"-v", "--verbose",
action=argparse.BooleanOptionalAction,
default=False,
help="whether the solver should output search progress rather than showing intermediate solutions",
dest='verbose'
)