diff --git a/src/clingexplaid/cli/clingo_app.py b/src/clingexplaid/cli/clingo_app.py index e62269a..34b17f0 100644 --- a/src/clingexplaid/cli/clingo_app.py +++ b/src/clingexplaid/cli/clingo_app.py @@ -111,7 +111,7 @@ def register_options(self, options: clingo.ApplicationOptions) -> None: for method, description in self.CLINGEXPLAID_METHODS.items(): options.add_flag( group=group, - option=method, + option=f"{method},{method[0]}", # only works when none of the method's initial letter don't overlap description=description, target=self.method_flags[method], )