diff --git a/src/category.c b/src/category.c index f63b65e1301..5a3507e985f 100644 --- a/src/category.c +++ b/src/category.c @@ -467,6 +467,12 @@ describe_category (value) return; } + if (CHAR_TABLE_P (value)) + { + insert_string ("deeper char-table ...\n"); + return; + } + if (!CATEGORY_SET_P (value)) { insert_string ("invalid\n");