tree 4ee94c874cccaa9cedaf6885727bfe39b4624261
parent b245eaa7d1f0043026a1e50631db12ca6804b0e2
author Martin Hořeňovský <martin.horenovsky@gmail.com> 1493142862 +0200
committer Martin Hořeňovský <martin.horenovsky@gmail.com> 1493142862 +0200

Fix MSVC compilation error

MSVC's `std::vector` requires its allocator to have copy constructor
from the same allocator kind, but templated over different type.