equal
deleted
inserted
replaced
141 soc->do_tag(--tag); |
141 soc->do_tag(--tag); |
142 |
142 |
143 // Dump/restore the symbol and string tables |
143 // Dump/restore the symbol and string tables |
144 SymbolTable::serialize(soc); |
144 SymbolTable::serialize(soc); |
145 StringTable::serialize(soc, string_space, space_size); |
145 StringTable::serialize(soc, string_space, space_size); |
146 soc->do_tag(--tag); |
|
147 |
|
148 // Dump/restore the misc information for system dictionary |
|
149 SystemDictionaryShared::serialize(soc); |
|
150 soc->do_tag(--tag); |
146 soc->do_tag(--tag); |
151 |
147 |
152 soc->do_tag(666); |
148 soc->do_tag(666); |
153 } |
149 } |
154 |
150 |