From: bdemsky <bdemsky@uci.edu>
Date: Tue, 20 Jun 2017 21:13:37 +0000 (-0700)
Subject: Add support for deleting vectors that are inlined into other structs
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2081bab87ad51b498f53c901a93d06e4b0855630;p=satune.git

Add support for deleting vectors that are inlined into other structs
---

diff --git a/src/Collections/vector.h b/src/Collections/vector.h
index c069e94..f3b45f8 100644
--- a/src/Collections/vector.h
+++ b/src/Collections/vector.h
@@ -18,6 +18,7 @@
 	uint getSizeVector ## name(Vector ## name *vector);                   \
 	void deleteVector ## name(Vector ## name *vector);                    \
 	void clearVector ## name(Vector ## name *vector);                     \
+	void deleteVectorArray ## name(Vector ## name *vector);								\
 	type * exposeArray ## name(Vector ## name * vector);
 
 #define VectorImpl(name, type, defcap)                                  \
@@ -61,5 +62,8 @@
 	}                                                                     \
 	type * exposeArray ## name(Vector ## name * vector) {                 \
 		return vector->array;                                               \
+	}																																			\
+	void deleteVectorArray ## name(Vector ## name *vector) {							\
+		ourfree(vector->array);                                             \
 	}
 #endif