diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-28 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-28 08:01:00 -0700 |
| commit | 4da784c049b79b76d8c1b82297bd27f45ead9377 (patch) | |
| tree | 8e69de9f95a13f1ef6ec9f3624be997ef080dc0d /src/base/ver | |
| parent | dd5531caf916d526551049b59151990adaef575d (diff) | |
| download | abc-4da784c049b79b76d8c1b82297bd27f45ead9377.tar.gz abc-4da784c049b79b76d8c1b82297bd27f45ead9377.tar.bz2 abc-4da784c049b79b76d8c1b82297bd27f45ead9377.zip | |
Version abc70328
Diffstat (limited to 'src/base/ver')
| -rw-r--r-- | src/base/ver/verCore.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index cc9e569a..19889fc4 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -1184,9 +1184,9 @@ int Ver_ParseAssign( Ver_Man_t * pMan, Abc_Ntk_t * pNtk ) } // consider the case of mapped network + Vec_PtrClear( pMan->vNames ); if ( pMan->fMapped ) { - Vec_PtrClear( pMan->vNames ); if ( !strcmp( pEquation, "1\'b0" ) ) pFunc = (Hop_Obj_t *)Mio_LibraryReadConst0(Abc_FrameReadLibGen()); else if ( !strcmp( pEquation, "1\'b1" ) ) @@ -1207,7 +1207,6 @@ int Ver_ParseAssign( Ver_Man_t * pMan, Abc_Ntk_t * pNtk ) } else { - // parse the formula if ( !strcmp(pEquation, "0") || !strcmp(pEquation, "1\'b0") || !strcmp(pEquation, "1\'bx") ) pFunc = Hop_ManConst0(pNtk->pManFunc); else if ( !strcmp(pEquation, "1") || !strcmp(pEquation, "1\'b1") ) |