fix cli

whitemech · Jun 19, 2023 · 08bde1e · 08bde1e
1 parent b3d0a28
commit 08bde1e
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 28 deletions.
diff --git a/ltlf2dfa/__main__.py b/ltlf2dfa/__main__.py
@@ -68,10 +68,10 @@ def execute(logic, formula):
     help="Path to the LTLf/PPLTL formula file.",
     type=click.Path(exists=True, readable=True),
 )
-def main(logic, formula):
+def cli(logic, formula):
     """From LTLf/PPLTL formulas to DFA."""
     execute(Logic(logic.lower()), formula)
 
 
 if __name__ == "__main__":
-    main()  # pragma: no cover
+    cli()  # pragma: no cover
diff --git a/poetry.lock b/poetry.lock