blob: 657bb2b7ab8e61814841a823a8532196e40f77da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
diff --git a/scripts/hpp_genxr.py b/scripts/hpp_genxr.py
index ce419b0..23e1d3d 100644
--- a/scripts/hpp_genxr.py
+++ b/scripts/hpp_genxr.py
@@ -36,7 +36,7 @@ from xrconventions import OpenXRConventions
from data import EXCLUDED_EXTENSIONS
-def makeREstring(strings: Iterable[str], default: typing.Optional[str] = None) -> str:
+def makeREstring(strings, default: typing.Optional[str] = None) -> str:
"""Turn a list of strings into a regexp string matching exactly those strings."""
if strings or default is None:
return f"^({'|'.join(re.escape(s) for s in strings)})$"
|
