diff options
-rw-r--r-- | scripts/obj_trimmer.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/obj_trimmer.py b/scripts/obj_trimmer.py index 570ff69273..2798f15dba 100644 --- a/scripts/obj_trimmer.py +++ b/scripts/obj_trimmer.py @@ -22,7 +22,7 @@ def process_obj(input_file: str, output_file: str) -> None: os.remove("temp") -def trim_lines(in_obj, out_obj): +def trim_lines(in_obj: TextIO, out_obj: TextIO) -> None: for line in in_obj: line = trim_line(line) if line: |