diff --git a/src/c/symbols_list.h b/src/c/symbols_list.h
index 0e5dabfc9..6ff8f00b7 100755
--- a/src/c/symbols_list.h
+++ b/src/c/symbols_list.h
@@ -1949,6 +1949,7 @@ cl_symbols[] = {
 
 {EXT_ "WITH-INTERRUPTS", MP_CONSTANT, NULL, -1, OBJNULL},
 {EXT_ "WITHOUT-INTERRUPTS", MP_CONSTANT, NULL, -1, OBJNULL},
+{EXT_ "WITH-RESTORED-INTERRUPTS", MP_CONSTANT, NULL, -1, OBJNULL},
 {EXT_ "WITH-LOCAL-INTERRUPTS", MP_CONSTANT, NULL, -1, OBJNULL},
 {EXT_ "ALLOW-WITH-INTERRUPTS", MP_CONSTANT, NULL, -1, OBJNULL},
 
diff --git a/src/c/symbols_list2.h b/src/c/symbols_list2.h
index 997d941d5..cfa17ca1b 100644
--- a/src/c/symbols_list2.h
+++ b/src/c/symbols_list2.h
@@ -1949,6 +1949,7 @@ cl_symbols[] = {
 
 {EXT_ "WITH-INTERRUPTS",NULL},
 {EXT_ "WITHOUT-INTERRUPTS",NULL},
+{EXT_ "WITH-RESTORED-INTERRUPTS",NULL},
 {EXT_ "WITH-LOCAL-INTERRUPTS",NULL},
 {EXT_ "ALLOW-WITH-INTERRUPTS",NULL},