Merge pull request #455 from potassco/fix/typehints

fix type hints
potassco · Sep 29, 2023 · 469ae65 · 469ae65
2 parents ba5ec69 + f0204f4
commit 469ae65
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/libpyclingo/clingo/ast.py b/libpyclingo/clingo/ast.py
@@ -1252,7 +1252,7 @@ def _pyclingo_ast_callback(ast, data):
 def parse_files(
     files: Sequence[str],
     callback: Callable[[AST], None],
-    control: Control = None,
+    control: Optional[Control] = None,
     logger: Optional[Logger] = None,
     message_limit: int = 20,
 ) -> None:
@@ -1315,7 +1315,7 @@ def parse_files(
 def parse_string(
     program: str,
     callback: Callable[[AST], None],
-    control: Control = None,
+    control: Optional[Control] = None,
     logger: Optional[Logger] = None,
     message_limit: int = 20,
 ) -> None: