From 48f458f02dae4e42daaf9633b5af09d363f89967 Mon Sep 17 00:00:00 2001 From: Rocco Meli Date: Fri, 22 Nov 2024 18:20:34 +0100 Subject: [PATCH] format --- scripts/postprocess.py | 1 + 1 file changed, 1 insertion(+) 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()