diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-04 15:34:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-04 15:34:34 -0700 |
| commit | a3a6002b3d663757dd0ca8112c29e51dced7bcfe (patch) | |
| tree | 55af85db342dcfa739050c82df76133fd07c757b /src/map/if | |
| parent | 1d9d6814ee20412a37fcda79a333d9d7e3fee1d4 (diff) | |
| download | abc-a3a6002b3d663757dd0ca8112c29e51dced7bcfe.tar.gz abc-a3a6002b3d663757dd0ca8112c29e51dced7bcfe.tar.bz2 abc-a3a6002b3d663757dd0ca8112c29e51dced7bcfe.zip | |
Compiler warnings.
Diffstat (limited to 'src/map/if')
| -rw-r--r-- | src/map/if/ifDelay.c | 1 | ||||
| -rw-r--r-- | src/map/if/ifMan.c | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/map/if/ifDelay.c b/src/map/if/ifDelay.c index bf143ce5..da4801b4 100644 --- a/src/map/if/ifDelay.c +++ b/src/map/if/ifDelay.c @@ -20,6 +20,7 @@ #include "if.h" #include "ifCount.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 26989420..43f7b7e0 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -79,7 +79,7 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) for ( v = 0; v < 6; v++ ) p->vTtIsops[v] = p->vTtIsops[6]; } - if ( p->pPars->fDelayOpt || pPars->nGateSize > 0 || p->pPars->fDsdBalance ); + if ( pPars->fDelayOpt || pPars->nGateSize > 0 || pPars->fDsdBalance ) { p->vCover = Vec_IntAlloc( 0 ); p->vArray = Vec_IntAlloc( 1000 ); |