how the rest of the header data is to be interpreted. */
dict = dict_create (choose_encoding (r, extensions[EXT_INTEGER],
extensions[EXT_ENCODING]));
+ r->encoding = dict_get_encoding (dict);
/* These records don't use variables at all. */
if (document != NULL)
utf8_label = recode_string_pool ("UTF-8", dict_encoding,
rec->label, -1, r->pool);
- var_set_label (var, utf8_label, NULL, false);
+ var_set_label (var, utf8_label, false);
}
/* Set missing values. */