From a162b1f47aa4d3c38439d779c7ad943102c63bc5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 25 Jul 2021 14:11:34 -0700
Subject: Experimental simulation commands.

---
 src/misc/vec/vecWec.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/misc')

diff --git a/src/misc/vec/vecWec.h b/src/misc/vec/vecWec.h
index 1c5ac71d..00eda198 100644
--- a/src/misc/vec/vecWec.h
+++ b/src/misc/vec/vecWec.h
@@ -422,7 +422,7 @@ static inline Vec_Wec_t * Vec_WecDup( Vec_Wec_t * p )
     Vec_Wec_t * vNew;
     Vec_Int_t * vVec;
     int i, k, Entry;
-    vNew = Vec_WecAlloc( Vec_WecSize(p) );
+    vNew = Vec_WecStart( Vec_WecSize(p) );
     Vec_WecForEachLevel( p, vVec, i )
         Vec_IntForEachEntry( vVec, Entry, k )
             Vec_WecPush( vNew, i, Entry );
-- 
cgit v1.2.3