diff --git a/scripts/postprocess.py b/scripts/postprocess.py index 13ba5d783b..229edfa93d 100644 --- a/scripts/postprocess.py +++ b/scripts/postprocess.py @@ -213,6 +213,7 @@ def _parse_optional_text(text): else: return None + @with_pattern(r"(|\s+\S+)") def _parse_optional_int(text): text = text.strip()