diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-17 09:47:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-17 09:47:07 -0700 |
| commit | 4a861d868cb46fd08c536b7b558c65a1fb3e320c (patch) | |
| tree | 72e8c4c35fd815d43ccec7435a67b0c9a905e946 /src/aig/gia/giaFalse.c | |
| parent | c58b57e2b45943a0b015290c0fffb66c8a3e12a8 (diff) | |
| download | abc-4a861d868cb46fd08c536b7b558c65a1fb3e320c.tar.gz abc-4a861d868cb46fd08c536b7b558c65a1fb3e320c.tar.bz2 abc-4a861d868cb46fd08c536b7b558c65a1fb3e320c.zip | |
Small changes in several packages.
Diffstat (limited to 'src/aig/gia/giaFalse.c')
| -rw-r--r-- | src/aig/gia/giaFalse.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/aig/gia/giaFalse.c b/src/aig/gia/giaFalse.c index c3f26455..a055b5bc 100644 --- a/src/aig/gia/giaFalse.c +++ b/src/aig/gia/giaFalse.c @@ -327,8 +327,7 @@ Gia_Man_t * Gia_ManFalseRebuildPath( Gia_Man_t * p, Vec_Int_t * vHooks, int fVer { Gia_Man_t * pNew, * pTemp; Gia_Obj_t * pObj; - int i, Counter = 0; - int iPathEnd = Vec_IntEntryLast(vHooks); + int i, iPathEnd = Vec_IntEntryLast(vHooks); pNew = Gia_ManStart( 4 * Gia_ManObjNum(p) / 3 ); pNew->pName = Abc_UtilStrsav( p->pName ); pNew->pSpec = Abc_UtilStrsav( p->pSpec ); |