4 commits

Author	SHA1	Message	Date
Kaz Wesley	1e2c29f263	prevector: destroy elements only via erase() ... Fixes a bug in which pop_back did not call the deleted item's destructor. Using the most general erase() implementation to implement all the others prevents similar bugs because the coupling between deallocation and destructor invocation only needs to be maintained in one place. Also reduces duplication of complex memmove logic.	2016-04-16 08:05:11 -07:00
MarcoFalke	fa60d05a4e	Add missing copyright headers	2016-01-05 21:34:15 +01:00
Pavel Janík	1812de9091	Name union to prevent compiler warning	2015-12-02 08:40:47 +01:00
Pieter Wuille	114b5812f6	Prevector type	2015-11-13 18:15:20 +01:00