diff options
Diffstat (limited to 'scripts/make_errorcodes.py')
| -rwxr-xr-x | scripts/make_errorcodes.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make_errorcodes.py b/scripts/make_errorcodes.py index 4da063e..8a8d54d 100755 --- a/scripts/make_errorcodes.py +++ b/scripts/make_errorcodes.py @@ -32,7 +32,7 @@ def main(): file_start = read_base_file(filename) classes, errors = fetch_errors( - ['8.1', '8.2', '8.3', '8.4', '9.0', '9.1', '9.2', '9.3']) + ['8.1', '8.2', '8.3', '8.4', '9.0', '9.1', '9.2', '9.3', '9.4']) f = open(filename, "w") for line in file_start: |