Simplify vector_copy().

[r22445]

diff --git a/vector.c b/vector.c
index 2134368..926faac 100644 (file)
--- a/vector.c
+++ b/vector.c
@@ -19,14 +19,10 @@ vector *vector_alloc(pbqp *pbqp, unsigned length)
 
 vector *vector_copy(pbqp *pbqp, vector *v)
 {
-       unsigned len = v->len;
-       vector *copy = obstack_alloc(&pbqp->obstack, sizeof(*copy) + sizeof(*copy->entries) * len);
-
+       unsigned  len  = v->len;
+       vector   *copy = obstack_copy(&pbqp->obstack, v, sizeof(*copy) + sizeof(*copy->entries) * len);
        assert(copy);
 
-       copy->len = len;
-       memcpy(copy->entries, v->entries, sizeof(*copy->entries) * len);
-
        return copy;
 }