From a9a5211c3dcfd8559be58ea047e5abaad0e087c1 Mon Sep 17 00:00:00 2001 From: Philippe Groarke Date: Sat, 14 Apr 2018 11:57:51 -0400 Subject: [PATCH] check.py : Throw on h0.3, h0.6, h0.12, h0.9 hats. --- check.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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):