fix typing of main function

This commit is contained in:
Jeff Epler 2023-12-12 16:03:08 -06:00
parent 322ae8b8e2
commit a42a349bb7
No known key found for this signature in database
GPG key ID: D5BF15AB975AB4DE

View file

@ -282,7 +282,7 @@ class Tui(App[None]):
@command_uses_new_session @command_uses_new_session
@click.option("--replace-system-prompt/--no-replace-system-prompt", default=False) @click.option("--replace-system-prompt/--no-replace-system-prompt", default=False)
def main(obj: Obj, replace_system_prompt) -> None: def main(obj: Obj, replace_system_prompt: bool) -> None:
"""Start interactive terminal user interface session""" """Start interactive terminal user interface session"""
api = obj.api api = obj.api
assert api is not None assert api is not None