Merge pull request #8964 from ethereum/ids_fix

Fix typo in correct error ids script
This commit is contained in:
Harikrishnan Mulackal 2020-05-18 13:39:38 +05:30 committed by GitHub
commit 4f24a4a735
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -149,7 +149,7 @@ def main():
print("No incorrect IDs found")
else:
fix_ids(used_ids, source_file_names)
print("Fixing compteted")
print("Fixing completed")
if __name__ == "__main__":