diff --git a/src/c/symbols_list.h b/src/c/symbols_list.h
index caa0ccfc8..e22a9b68a 100644
--- a/src/c/symbols_list.h
+++ b/src/c/symbols_list.h
@@ -1790,5 +1790,7 @@ cl_symbols[] = {
 
 {EXT_ "READTABLE-LOCK", EXT_ORDINARY, si_readtable_lock, -1, OBJNULL},
 
+{SYS_ "+IO-SYNTAX-PROGV-LIST+", SI_ORDINARY, NULL, -1, OBJNULL},
+
 /* Tag for end of list */
 {NULL, CL_ORDINARY, NULL, -1, OBJNULL}};
diff --git a/src/c/symbols_list2.h b/src/c/symbols_list2.h
index 868f77cf9..64f966f32 100644
--- a/src/c/symbols_list2.h
+++ b/src/c/symbols_list2.h
@@ -1790,5 +1790,7 @@ cl_symbols[] = {
 
 {EXT_ "READTABLE-LOCK","si_readtable_lock"},
 
+{SYS_ "+IO-SYNTAX-PROGV-LIST+",NULL},
+
 /* Tag for end of list */
 {NULL,NULL}};