| Index: src/serialize.h
|
| diff --git a/src/serialize.h b/src/serialize.h
|
| index 2ad9bb17edbeeb4ab6b856b5341b369fb2d7dc8a..ee9df39ad861c57b80a27f9d0fbff07ea036c9df 100644
|
| --- a/src/serialize.h
|
| +++ b/src/serialize.h
|
| @@ -579,6 +579,7 @@ class Serializer : public SerializerDeserializer {
|
| // relative addresses for back references.
|
| int fullness_[LAST_SPACE + 1];
|
| SnapshotByteSink* sink_;
|
| + int current_root_index_;
|
| ExternalReferenceEncoder* external_reference_encoder_;
|
| static bool serialization_enabled_;
|
| // Did we already make use of the fact that serialization was not enabled?
|
|
|