diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-06 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-06 08:01:00 -0700 |
| commit | 661abab094143930f58633dfad415468a90cef6f (patch) | |
| tree | fa142590b1b9730282e34901d07398be8b34de95 /src/aig/ntl/ntlMan.c | |
| parent | 0c4d314ef0460b94c3ccc4f8ddeedc8e49e35e96 (diff) | |
| download | abc-661abab094143930f58633dfad415468a90cef6f.tar.gz abc-661abab094143930f58633dfad415468a90cef6f.tar.bz2 abc-661abab094143930f58633dfad415468a90cef6f.zip | |
Version abc80406
Diffstat (limited to 'src/aig/ntl/ntlMan.c')
| -rw-r--r-- | src/aig/ntl/ntlMan.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlMan.c b/src/aig/ntl/ntlMan.c index 82660263..83219df7 100644 --- a/src/aig/ntl/ntlMan.c +++ b/src/aig/ntl/ntlMan.c @@ -267,6 +267,9 @@ Ntl_Mod_t * Ntl_ModelDup( Ntl_Man_t * pManNew, Ntl_Mod_t * pModelOld ) if ( Ntl_ObjIsNode(pObj) ) ((Ntl_Obj_t *)pObj->pCopy)->pSop = Ntl_ManStoreSop( pManNew, pObj->pSop ); } + pModelNew->vDelays = pModelOld->vDelays? Vec_IntDup( pModelOld->vDelays ) : NULL; + pModelNew->vArrivals = pModelOld->vArrivals? Vec_IntDup( pModelOld->vArrivals ) : NULL; + pModelNew->vRequireds = pModelOld->vRequireds? Vec_IntDup( pModelOld->vRequireds ) : NULL; return pModelNew; } |