diff options
Diffstat (limited to 'scripts/reg.py')
| -rwxr-xr-x | scripts/reg.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/reg.py b/scripts/reg.py index a591380b..afcca4e3 100755 --- a/scripts/reg.py +++ b/scripts/reg.py @@ -1,6 +1,6 @@ #!/usr/bin/python3 -i # -# Copyright (c) 2013-2017 The Khronos Group Inc. +# Copyright (c) 2013-2018 The Khronos Group Inc. # # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. @@ -734,7 +734,7 @@ class Registry: if (include): ei.emit = True features.append(ei) - + # Hack - can be removed when validity generator goes away self.requiredextensions.append(extName) else: |
