Update gen_tables.adb