From 4455e816aa8339105d872b6dffd56978d5bb6877 Mon Sep 17 00:00:00 2001 From: Dennis Luxen Date: Tue, 26 Nov 2013 19:56:45 +0100 Subject: [PATCH] clear memory early by swap trick --- prepare.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/prepare.cpp b/prepare.cpp index a432c7eaa..6bc98967c 100644 --- a/prepare.cpp +++ b/prepare.cpp @@ -296,6 +296,7 @@ int main (int argc, char *argv[]) { IteratorbasedCRC32 > crc32; unsigned crc32OfNodeBasedEdgeList = crc32(nodeBasedEdgeList.begin(), nodeBasedEdgeList.end() ); nodeBasedEdgeList.clear(); + std::vector(nodeBasedEdgeList).swap(nodeBasedEdgeList); SimpleLogger().Write() << "CRC32: " << crc32OfNodeBasedEdgeList; /***