tree a2b7924289b0e4e234d51787fffa12d10571fec8
parent 11df8ef6e6f88975e4958043c9e527a7aab201ff
author Sijie Guo <sijie@apache.org> 1509438711 -0700
committer Sijie Guo <guosijie@gmail.com> 1509552400 -0700

Fix DistributedSchedule.WriteSet compilation issue

DisributedSchedule writeset structure is changed in recent 4.6.0-SNAPSHOT version