diff --git a/check.py b/check.py index f439a31..35ec96c 100755 --- a/check.py +++ b/check.py @@ -69,7 +69,7 @@ class Mapping: "-a": re.compile(r"^[0-9]+\~?$"), "a": re.compile(r"^[0-9]+\~?$"), "b": re.compile(r"^[0-9]+$"), - "h": re.compile(r"^[0-9]+\.(1|2|4|8|3|6|12|9)$"), + "h": re.compile(r"^[0-9]+\.(1|2|4|8)$"), } def __init__(self, mapping_string, line_number, add_missing_platform = False):