From: bdemsky <bdemsky@uci.edu>
Date: Mon, 10 Jul 2017 20:41:04 +0000 (-0700)
Subject: Revent erroneous bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f9d0b8b2e9fff7a3b0fd1ff699fa319a5b0a7b86;p=satune.git

Revent erroneous bug fix
---

diff --git a/src/Collections/vector.h b/src/Collections/vector.h
index e472fcf..5b638e9 100644
--- a/src/Collections/vector.h
+++ b/src/Collections/vector.h
@@ -62,7 +62,7 @@
 		vector->size=size;																									\
 	}																																			\
 	void pushVector ## name(Vector ## name *vector, type item) {					\
-		if ((vector->size + 1) >= vector->capacity) {												\
+		if (vector->size >= vector->capacity) {															\
 			uint newcap=vector->capacity << 1;																\
 			vector->array=(type *)ourrealloc(vector->array, newcap * sizeof(type)); \
 		}                                                                   \