From 296a3a1992a7ee6e2422dc709b192d93a6de12aa Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sun, 2 Dec 2012 01:25:48 +0100
Subject: [PATCH] fixed but in BitVector.resize()

additional buckets should be initialized with zero.
however, the *old* bucketarray was initialized, not the *new* one.
---
 src/storage/BitVector.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/BitVector.h b/src/storage/BitVector.h
index 79221b1d6..8da13efeb 100644
--- a/src/storage/BitVector.h
+++ b/src/storage/BitVector.h
@@ -201,7 +201,7 @@ public:
 
 		// Initialize missing values in the new bit vector.
 		for (uint_fast64_t i = copySize; i < bucketCount; ++i) {
-			bucketArray[i] = 0;
+			tempArray[i] = 0;
 		}
 
 		// Dispose of the old bit vector and set the new one.