jan/masque
1
1
Fork 0
Code Issues Pull requests Releases Wiki Activity

[gdsii] explicitly cast cap_extensions to int

Browse source
This commit is contained in:
jan 2026-03-08 22:47:22 -07:00
commit f42114bf43
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
masque/file/gdsii.py
View file

@ -453,7 +453,7 @@ def _shapes_to_elements(
extension: tuple[int, int] extension: tuple[int, int]
if shape.cap == Path.Cap.SquareCustom and shape.cap_extensions is not None: if shape.cap == Path.Cap.SquareCustom and shape.cap_extensions is not None:
extension = tuple(shape.cap_extensions) # type: ignore extension = tuple(rint_cast(shape.cap_extensions))
else: else:
extension = (0, 0) extension = (0, 0)