Skip to content

Commit

Permalink
fix typing
Browse files Browse the repository at this point in the history
  • Loading branch information
tybug committed Jan 7, 2025
1 parent ecdf80a commit ce6b4d3
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -1006,7 +1006,7 @@ def __attrs_post_init__(self) -> None:
assert self.size > 0


def ir_size(ir: Iterable[ChoiceT]) -> int:
def ir_size(ir: Iterable[Union[IRNode, NodeTemplate, ChoiceT]]) -> int:
from hypothesis.database import ir_to_bytes

size = 0
Expand Down

0 comments on commit ce6b4d3

Please # to comment.