Update gen_tables.ads