| Index: src/serialize.h
|
| diff --git a/src/serialize.h b/src/serialize.h
|
| index ee9df39ad861c57b80a27f9d0fbff07ea036c9df..2ad9bb17edbeeb4ab6b856b5341b369fb2d7dc8a 100644
|
| --- a/src/serialize.h
|
| +++ b/src/serialize.h
|
| @@ -579,7 +579,6 @@ 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?
|
|
|