- if (!n.find_string("name", name))
- name = std::string("");
- if (!n.find_string("TeXname", TeX_name))
- TeX_name = std::string("");
- setflag(status_flags::evaluated | status_flags::expanded);
-}
-
-/** Unarchive the object. */
-ex symbol::unarchive(const archive_node &n, lst &sym_lst)
-{
- ex s = (new symbol(n, sym_lst))->setflag(status_flags::dynallocated);
+ inherited::read_archive(n, sym_lst);
+ serial = next_serial++;
+ std::string tmp_name;
+ n.find_string("name", tmp_name);