From 87d277ec05ba37ce08444ce98d4e9a1bc495ccf3 Mon Sep 17 00:00:00 2001
From: Leo Alt <leo@ethereum.org>
Date: Wed, 23 Nov 2022 17:36:17 +0100
Subject: [PATCH] avoid unused error codes

---
 scripts/error_codes.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/error_codes.py b/scripts/error_codes.py
index cba149b9d..464884344 100755
--- a/scripts/error_codes.py
+++ b/scripts/error_codes.py
@@ -227,10 +227,10 @@ def examine_id_coverage(top_dir, source_id_to_file_names, new_ids_only=False):
             return False
 
     old_source_only_ids = {
-        "1584", "1823",
+        "1218", "1584", "1823",
         "1988", "2066", "2833", "3356",
         "3893", "3996", "4010", "4458", "4802",
-        "4902", "5272", "5622", "5798", "7128", "7400",
+        "4902", "5272", "5622", "5798", "5840", "7128", "7400",
         "7589", "7593", "7649", "7710",
         "8065", "8084", "8140", "8158",
         "8312", "8592", "9134", "9609",