From 1ed275b801dcb16f09a5f22edb8d57d67b89341a Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 3 Jan 2013 22:08:32 -0800
Subject: [PATCH] Fix typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/array.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/array.h b/src/util/array.h
index bcc659ca3..edbab2cad 100644
--- a/src/util/array.h
+++ b/src/util/array.h
@@ -137,7 +137,7 @@ public:
     void set(Allocator & a, size_t sz, T const * vs) {
         SASSERT(m_data == 0);
         allocate(a, sz);
-        init(sz, vs);
+        init(vs);
     }
 
     size_t size() const {